Generalised Coinduction (2001)

by Falk Bartels
Citations:17 - 3 self

Active Bibliography

5 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
1 Elements of stream calculus – J. J. M. M. Rutten - 2001
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
382 A Query Language and Optimization Techniques for Unstructured Data – Peter Buneman, Susan Davidson, Gerd Hillebrand, Dan Suciu - 1996
362 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
2 Coalgebraic Bisimulation-Up-To – Jurriaan Rot , Marcello Bonsangue , Jan Rutten - 2013