Structuring structural operational semantics

Keywords

Operational semantics, Congruence (geometry), Computer science, Bisimulation, Programming language

References

• Separating computation and coordination in the design of parallel and distributed programsMichel R. V. Chaudron — 1998
• Preservation of termination for explicit substitutionC.J. Bloo — 1997
• On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modellingFalk Bartels — 2004
• Aspects of an integrated neural prediction systemRieken S. Venema — 1999
• Specification and analysis of Internet applicationsHarm van Beek — 2005
• Structural operational semantics and bounded nondeterminismWan Fokkink, Thuy Duong Vu — 2003
• Transition System Specifications with Negative PremisesJan Friso Groote, Baeten, J.C.M., Klop, J.W. — 1990
• The implementation of functional languages on parallel machines with distributed memoryM.H.G. Kesseler — 1996
• A Process Algebra for Hybrid SystemsJan Joris Vereijken — 1999
• Cryptology and statecraft in the Dutch RepublicK.M.M. de Leeuw — 2000
• Discrete-time process algebraJan Joris Vereijken — 1997
• LETOS – a lightweight execution tool for operational semanticsP. H. Hartel — 1999
• Languages for analysis and testing of event sequencesA.G. Engels — 2001
• Choice quantification in process algebraS.P. Luttik — 2002
• Structural congruences and structural operational semanticsMohammad Reza Mousavi, Michel Reniers — 2004
• Indoor ultrasonic position estimation using a single base stationEO Esko Dijk — 2004
• Data synchronization and browsing for home environmentsY Yuechen Qian — 2004
• Context-dependent bisimulation between processesKim G. Larsen — 1986
• Communication and concurrencyRobin Milner — 1989
• Alea jacta est : verification of probabilistic, real-time and parametric systemsMariëlle Stoelinga — 2002

Cited by

• A graph model for a basic process algebra for hybrid systemsU Uzma Khadim — 2005
• From computability to executability : a process-theoretic view on automata theoryvan Pja Paul Tilburg — 2011
• Verification Techniques for Extensions of Equality LogicBahareh Badban — 2006
• Analysis and transformation of source code by parsing and rewritingJurgen Vinju — 2005
• Hybrid Techniques for Hybrid SystemsTomas Krilavičius — 2006
• Modelling and analysis of real-time coordination patternsStephanie Kemper — 2011
• Constructive formal methods and protocol standardizationAJ Arjan Mooij — 2006
• Managing requirements evolution : Using reconstructed traceability and requirements viewsM. Lormans — 2009
• Model-based integration and testing of high-tech multi-disciplinary systemsNcwm Niels Braspenning — 2008
• Security matters : privacy in voting and fairness in digital exchangeHL Hugo Jonker — 2009
• Separation and adaptation of concerns in a shared data spaceGiovanni Russello — 2006
• Process algebras for hybrid systems : comparison and developmentU Uzma Khadim — 2008
• Formal and Computational Cryptography: Protocols, Hashes and CommitmentsFlavio D. Garcia — 2008
• Evolvable Behavior Specifications Using Context-Sensitive WildcardsGürcan Güleşır — 2008
• Bohm-Like Trees for RewritingJeroen Ketema — 2006
• New data structures and algorithms for mobile dataMohammad Ali Abam — 2007
• Clocks, Dice and ProcessesTaolue Chen — 2009
• Towards Getting Generic Programming Ready for Prime TimeAlexey Rodriguez Yakushev — 2009
• IT architecture-based confidentiality risk assessment in networks of organizationsAyşe Moralı — 2011
• Revisiting Anomaly-based Network Intrusion Detection SystemsDamiano Bolzoni — 2009

Related papers

• Stepping through HaskellAtze Dijkstra — 2000
• Computational aspects of treewidth : Lower bounds and network reliabilityThomas Wolle — 2005
• An Assertional Proof System for Multithreaded Java - Theory and Tool SupportErika Ábrahám — 2005
• Coalgebraic analysis of probabilistic systemsA Ana Sokolova — 2005
• Top quality type error MessagesBastiaan Heeren — 2005
• Analysis and transformation of source code by parsing and rewritingJurgen Vinju — 2005
• Separation and adaptation of concerns in a shared data spaceGiovanni Russello — 2006
• Experiments in rights control : expression and enforcementCheun Ngen Chong — 2005
• Compositional verification of hybrid systems using simulation relationsGoran Frehse — 2005