Ordered SOS Process Languages for Branching and Eager Bisimulations (2002)

Cached

Download Links

by Irek Ulidowski , Iain Phillips
Venue:INFORMATION AND COMPUTATION
Citations:2 - 0 self

Documents Related by Co-Citation

3 An Implementation of Modular Structural Operational Semantics – F Chalub - 2005
4 Looking for eden through maude and its strategies – M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén - 2005
1 Information technology — Enhancements to – ISOIEC - 2001
1 Towards a strategy language for Maude,in:N.Martí-Oliet, editor – N Martí-Oliet, J Meseguer, A Verdejo
6 Typed mobile ambients in Maude – F Rosa-velardo, Clara Segura, Alberto Verdejo - 2006
2 Reniers, Prototyping SOS meta-theory in Maude – Mohammadreza Mousavi, Michel A. Reniers - 2005
9 A Modular SOS for ML Concurrency Primitives – Peter D. Mosses - 1999
3 Maude MSOS tool – Fabricio Chalub, Christiano Braga - 2007
2 Structuring Structural Operational Semantics – M Mousavi - 2005
9 Executable Structural Operational Semantics in – A Verdejo, N Martí-Oliet - 2006
34 A Reflective Module Algebra with Applications to the Maude Language – F Durán - 1999
26 Towards a strategy language for Maude – N Martí-Oliet, J Meseguer, A Verdejo - 2005
25 Modular rewriting semantics of programming languages – Christiano Braga - 2004
4 A constructive approach to language definition – Peter D. Mosses - 2005
34 Maude as a Formal Meta-Tool – M. Clavel, F. Durán, S. Eker, J. Meseguer, M.-O. Stehr - 1999
55 Modular structural operational semantics – Peter D. Mosses - 2004
4 Information flow security and recursive systems – A Bossi, D Macedonio, C Piazza, S Rossi - 2003
4 Rule Formats for Non-Interference – S Tini - 2003
10 A Proof System for Information Flow Security – Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi - 2002