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 – J F Groote, F W Vaandrager - 1992
115 Transition system specifications with negative premises – J F Groote - 1993
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
108 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
194 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
3200 Communication and Concurrency – R Milner - 1989
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
654 Concurrency and automata on infinite sequences – D Park - 1981
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
1490 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
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
844 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
31 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
360 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984