Coinductive Interpreters for Process Calculi (2002)

Cached

Download Links

by Barbosa And Oliveira , L. S. Barbosa , J. N. Oliveira
Venue:In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS
Citations:3 - 1 self

Active Bibliography

9 On Refinement of Generic Software Components – Sun Meng, Luis Barbosa - 2003
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
Process Calculi à la Bird-Meertens – Luís S. Barbarosa - 2001
14 Components as processes: An exercise in coalgebraic modeling – L. S. Barbosa - 2000
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
1 Polytypic Recursion Patterns – L. S. Barbosa, J. B. Barros, J. J. Almeida - 2000
2 Prototyping Processes – L.S. Barbosa - 1999
A single complete relational rule for coalgebraic refinement – César J. Rodrigues, J. N. Oliveira, Luis S. Barbosa - 2009
3 Coalgebras in Specification and Verification for Object-Oriented Languages – Bart Jacobs - 1999
11 Generic Accumulations – Alberto Pardo - 2002
9 Coalgebras For Binary Methods: Properties Of Bisimulations And Invariants – Hendrik Tews - 2001
8 Coalgebras for Binary Methods – Hendrik Tews - 2000
3 A noninterleaving model of concurrency based on transition systems with spatial structure – Luís Monteiro - 2004
2 CSP, Partial Automata, and Coalgebras – Uwe Wolter - 1999
Chapter 1 Coalgebras as Types determined by their Elimination Rules – Anton Setzer
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
Functorial ML – Functorial Ml, C. B. Jay, G. Bellè, E. Moggi - 1998
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
A Uniform Model Theory for the Specification of Data and Process types – Horst Reichel