The meaning of negative premises in transition system specifications II (2004)

by R.J. van Glabbeek
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:38 - 5 self

Documents Related by Co-Citation

74 The meaning of negative premises in transition system specifications – R N Bol, J F Groote - 1996
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
116 Transition system specifications with negative premises – J F Groote - 1993
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
3219 Communication and Concurrency – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
63 Higher-level synchronising devices in Meije–SCCS. Theoretical Computer Science 37(3), pp. 245–267. A Modal Characterisation of η-Bisimulation We prove the first part of Thm. 2.5, which states that η is a modal characterisation of η-bisimulation equivalenc – Robert De Simone, Communicated M. Nivat - 1985
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
658 Concurrency and automata on infinite sequences – D Park - 1981
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000