A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (1997)

Cached

Download Links

by Karen L. Bernstein
Citations:36 - 0 self

Active Bibliography

31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
649 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998