scientific article; zbMATH DE number 7449995

MaRDI QIDQ3385651zbMATH OpenFDO

Authors Rob van Glabbeek

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1908.08635, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Transition systems
• The meaning of negative premises in transition system specifications
• scientific article; zbMATH DE number 176757
• Transition system specifications with negative premises
• The meaning of negative premises in transition system specifications. II
• An exercise on transition systems
• Verification and comparison of transition systems
• Program specific transition systems

Cites work

• A semantic framework for open processes
• A structural approach to operational semantics
• A Theory of Communicating Sequential Processes
• A theory of encodings and expressiveness (extended abstract)
• A timed process algebra for wireless networks with an application in routing (extended abstract)
• Action transducers and timed automata
• Algèbre de processus et synchronisation
• Bisimilarity of open terms.
• Calculi for synchrony and asynchrony
• Compositionality Through an Operational Semantics of Contexts
• Divide and congruence. III: Stability \& divergence
• Encyclopedia of parallel computing.
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 3595145 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• 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
• Structured operational semantics and bisimulation as a congruence
• The meaning of negative premises in transition system specifications. II
• Transition system specifications with negative premises

Cited in

(4)

• The meaning of negative premises in transition system specifications. II
• Transition systems
• scientific article; zbMATH DE number 176757 (Why is no real title available?)
• The way we were: structural operational semantics research in perspective

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385651)