scientific article
From MaRDI portal
Publication:3385651
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.08635
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
- Transition system specifications with negative premises
- Algèbre de processus et synchronisation
- Calculi for synchrony and asynchrony
- Higher-level synchronising devices in Meije-SCCS
- Structured operational semantics and bisimulation as a congruence
- A theory of encodings and expressiveness (extended abstract)
- Action transducers and timed automata
- Bisimilarity of open terms.
- The meaning of negative premises in transition system specifications. II
- A structural approach to operational semantics
- A semantic framework for open processes
- A Timed Process Algebra for Wireless Networks with an Application in Routing
- Encyclopedia of Parallel Computing
- A Theory of Communicating Sequential Processes
- Compositionality Through an Operational Semantics of Contexts
- Divide and congruence III: Stability & divergence
This page was built for publication:
