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

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

The free process algebra generated by δ, ∈ and τRODENBURG, Piet H; WILLEM KLOP, Jan; KOYMANS, Karst et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3370-3377, issn 0304-3975, 8 p.Article

Unguardedness mostly means many solutionsBAETEN, Jos C. M; LUTTIK, Bas.Theoretical computer science. 2011, Vol 412, Num 28, pp 3090-3100, issn 0304-3975, 11 p.Article

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

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

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

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

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

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

E-unifiability via narrowingVIOLA, Emanuele.Lecture notes in computer science. 2001, pp 426-438, issn 0302-9743, isbn 3-540-42672-8Conference Paper

High level expressions with their SOS semanticsKLAUDEL, H; RIEMANN, R.-C.Lecture notes in computer science. 1997, pp 288-301, issn 0302-9743, isbn 3-540-63141-0Conference Paper