Algebra ∩ coalgebra = presheavesADAMEK, J.Lecture notes in computer science. 2005, pp 67-82, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

From T-coalgebras to filter structures and transition systemsGUMM, H. Peter.Lecture notes in computer science. 2005, pp 194-212, issn 0302-9743, isbn 3-540-28620-9, 19 p.Conference Paper

Decidability of strong bisimilarity for timed BPPLASOTA, Slawomir.Lecture notes in computer science. 2002, pp 562-578, issn 0302-9743, isbn 3-540-44043-7, 17 p.Conference Paper

Open questions (transcript of discussion)RYAN, Peter.Lecture notes in computer science. 2001, pp 49-53, issn 0302-9743, isbn 3-540-42566-7Conference Paper

On performance congruences for process algebrasCORRADINI, F.Information and computation (Print). 1998, Vol 145, Num 2, pp 191-230, issn 0890-5401Article

Proving properties of dynamic process networksDAM, M.Information and computation (Print). 1998, Vol 140, Num 2, pp 95-114, issn 0890-5401Article

Bounded stacks, bags and queuesBAETEN, J. C. M; BERGSTRA, J. A.Lecture notes in computer science. 1997, pp 104-118, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Algebra of timed framesBERGSTRA, J. A; FOKKINK, W. J; MIDDELBURG, C. A et al.International journal of computer mathematics. 1996, Vol 61, Num 3-4, pp 227-255, issn 0020-7160Article

Generalised coinductionBARTELS, F.Report - Software engineering. 2000, Num 43, pp 1-45, issn 1386-369XArticle

Analyses statiques d'un calcul d'Acteurs par typage = Static analysis by type inference for an Actor calculusColaço, Jean-Louis; Sallé, Patrick.1997, 150 p.Thesis

An algebra-based method to associate rewards with EMPA termsBERNARDO, M.Lecture notes in computer science. 1997, pp 358-368, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Model checking PA-processesMAYR, R.Lecture notes in computer science. 1997, pp 332-346, issn 0302-9743, isbn 3-540-63141-0Conference Paper

CONCUR '97 : concurrency theory (Warsaw, July 1-4, 1997)Mazurkiewicz, Antoni; Winkowski, Jósef.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63141-0, VIII, 420 p, isbn 3-540-63141-0Conference Proceedings

Final sequences and final coalgebras for measurable spacesVIGLIZZO, Ignacio D.Lecture notes in computer science. 2005, pp 395-407, issn 0302-9743, isbn 3-540-28620-9, 13 p.Conference Paper

A non-SOS operational semantics for a process algebraFRACZAK, W; ZAREMBA, M. B.Information processing letters. 1998, Vol 68, Num 1, pp 47-54, issn 0020-0190Article

A Finite Equational Base for CCS with Left Merge and Communication MergeACETO, Luca; FOKKINK, Wan; INGOLFSDOTTIR, Anna et al.Lecture notes in computer science. 2006, pp 492-503, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Behavioral extensions of institutionsPOPESCU, Andrei; ROSU, Grigore.Lecture notes in computer science. 2005, pp 331-347, issn 0302-9743, isbn 3-540-28620-9, 17 p.Conference Paper

Modeling consensus in a process calculusNESTMANN, Uwe; FUZZATIL, Rachele; MERRO, Massimo et al.Lecture notes in computer science. 2003, pp 399-414, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

Explicit fusionsGARDNER, P; WISCHIK, L.Lecture notes in computer science. 2000, pp 373-382, issn 0302-9743, isbn 3-540-67901-4Conference Paper

Discrete lawvere theoriesPOWER, John.Lecture notes in computer science. 2005, pp 348-363, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

On cool congruence formats for weak bisimulationsVAN GLABBEEK, Robert Jan.Lecture notes in computer science. 2005, pp 318-333, issn 0302-9743, isbn 3-540-29107-5, 1Vol, 16 p.Conference Paper

A spatial logic for concurrency (Part I)CAIRES, Luis; CARDELLI, Luca.Lecture notes in computer science. 2001, pp 1-37, issn 0302-9743, isbn 3-540-42736-8Conference Paper

An algebraic theory of multiple clocksCLEAVELAND, R; LÜTTGEN, G; MENDLER, M et al.Lecture notes in computer science. 1997, pp 166-180, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Labels from reductions : Towards a general theoryKLIN, Bartek; SASSONE, Vladimiro; SOBOCINSKI, Pawel et al.Lecture notes in computer science. 2005, pp 30-50, issn 0302-9743, isbn 3-540-28620-9, 21 p.Conference Paper

Polarized process algebra and program equivalenceBERGSTRA, Jan A; BETHKE, Inge.Lecture notes in computer science. 2003, pp 1-21, issn 0302-9743, isbn 3-540-40493-7, 21 p.Conference Paper