The Tyft/tyxt Format Reduces to Tree Rules (1993)

Cached

Download Links

by W. J. Fokkink , Willem Jan Fokkink
Venue:Proceedings 2nd Symposium on Theoretical Aspects of Computer Software (TACS'94), Sendai, Japan, LNCS 789
Citations:16 - 4 self

Documents Related by Co-Citation

189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
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
116 Transition system specifications with negative premises – J F Groote - 1993
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
658 Concurrency and automata on infinite sequences – D Park - 1981
74 The meaning of negative premises in transition system specifications – R N Bol, J F Groote - 1996
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000
3219 Communication and Concurrency – R Milner - 1990
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
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
15 Extending process algebra with the empty process – C J P Koymans, J L M Vrancken - 1985
203 Process Algebra – J C M Baeten, W P Weijland - 1990
52 Process algebra with iteration and nesting – J A Bergstra, I Bethke, A Ponse - 1994
33 Basic process algebra with iteration: Completeness of its equational axioms – Wan Fokkink, Hans Zantema - 1994
53 Bisimulation can't be traced: preliminary report – Bard Bloom, Sorin Istrail - 1988
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985