Axiomatizing GSOS with Termination (2004)

Cached

Download Links

by J.C.M. Baeten , E.P. de Vink
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:20 - 1 self

Documents Related by Co-Citation

87 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
122 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
662 Concurrency and automata on infinite sequences – D Park - 1981
194 Bisimulation can't be traced – B S Bloom, S Istrail, A R Meyer - 1988
363 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
32 Deriving complete inference systems for a class of GSOS languages generating regular behaviours – L Aceto - 1994
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
3242 Communication and Concurrency – R Milner - 1989