Generic trace semantics via coinduction (2007)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs , Ana Sokolova
Venue:Logical Methods in Comp. Sci
Citations:23 - 9 self

Documents Related by Co-Citation

325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
766 Notions of Computation and Monads – Eugenio Moggi - 1991
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
10 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
142 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
4144 Introduction to Automata Theory, Languages, and Computation – J Hopcroft, J Ullman - 1979
429 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989