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

Documents Related by Co-Citation

16 Components as Coalgebras – L Barbosa - 2001
4 Coalgebraic structures in program construction – Luís S. Barbosa - 2002
14 Components as processes: An exercise in coalgebraic modeling – L. S. Barbosa - 2000
120 Finite transition systems – A Arnold - 1994
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
13 Category Theory for Computing Science, third edition. Les publications Centre de recherches mathématiques – M Barr, C Wells - 1999
140 Handbook of Categorical Algebra – F Borceux - 1994
12 State-based components made generic – L S Barbosa, J N Oliveira - 2003
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
143 Introduction to bicategories – J Benabou - 1967
1 rstea. An algebra-coalgebra framework for system specification – C C
11 An algebra-coalgebra framework for system specification – C Cîrstea - 2007