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

Real space process algebraBAETEN, J. C. M; BERGSTRA, J. A.Formal aspects of computing. 1993, Vol 5, Num 6, pp 481-529, issn 0934-5043Article

Absolute versus relative time in process algebrasCORRADINI, F.Information and computation (Print). 2000, Vol 156, Num 1-2, pp 122-172, issn 0890-5401Article

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

Algebra of communicating processes with abstractionBERGSTRA, J. A; KLOP, J. W.Theoretical computer science. 1985, Vol 37, Num 1, pp 77-121, issn 0304-3975Article

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

Timing and causality in process algebraACETO, L; MURPHY, D.Acta informatica. 1996, Vol 33, Num 4, pp 317-350, issn 0001-5903Article

A universal technique for fast and flexible instruction-set architecture simulationNOHL, Achim; BRAUN, Gunnar; SCHLIEBUSCH, Oliver et al.Design automation conference. 2002, pp 22-27, isbn 1-58113-461-4, 6 p.Conference Paper

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

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

Process algebra for synchronous communicationBERGSTRA, J. A; KLOP, J. W.Information and control. 1984, Vol 60, Num 1-3, pp 109-137, issn 0019-9958Article