Parametric λ-theoriesPAOLINI, Luca.Theoretical computer science. 2008, Vol 398, Num 1-3, pp 51-62, issn 0304-3975, 12 p.Article

A congruence rule format for name-passing process calculiFIORE, Marcelo; STATON, Sam.Information and computation (Print). 2009, Vol 207, Num 2, pp 209-236, issn 0890-5401, 28 p.Article

The expressive power of parallelismPARROW, J.FGCS. Future generations computer systems. 1990, Vol 6, Num 3, pp 271-285, issn 0167-739X, 15 p.Article

Bialgebras for structural operational semantics: An introductionKLIN, Bartek.Theoretical computer science. 2011, Vol 412, Num 38, pp 5043-5069, issn 0304-3975, 27 p.Article

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

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

Priority Rewrite systems for OSOS process languagesULIDOWSKI, Irek.Lecture notes in computer science. 2003, pp 87-102, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

Coinductive big-step operational semanticsLEROY, Xavier; GRALL, Hervé.Information and computation (Print). 2009, Vol 207, Num 2, pp 284-304, issn 0890-5401, 21 p.Article

Parametric synchronizations in mobile nominal calculiBRUNI, Roberto; LANESE, Ivan.Theoretical computer science. 2008, Vol 402, Num 2-3, pp 102-119, issn 0304-3975, 18 p.Article

Strategies and simulations in a semantic frameworkMARTI-OLIET, Narciso; PALOMINO, Miguel; VERDEJO, Alberto et al.Journal of algorithms (Print). 2007, Vol 62, Num 3-4, pp 95-116, issn 0196-6774, 22 p.Conference Paper

Distributed processes and location failuresRIELY, J; HENNESSY, M.Lecture notes in computer science. 1997, pp 471-481, issn 0302-9743, isbn 3-540-63165-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

On modular properties of higher order extensional lambda calculiDI COSMO, R; GHANI, N.Lecture notes in computer science. 1997, pp 237-247, issn 0302-9743, isbn 3-540-63165-8Conference Paper

An extended Theory of primitive objects : First order systemLIQUORI, L.Lecture notes in computer science. 1997, pp 146-169, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Dependency-based action refinementRENSINK, A; WEHRHEIM, H.Lecture notes in computer science. 1997, pp 468-477, issn 0302-9743, isbn 3-540-63437-1Conference Paper

Probabilistic concurrent constraint programmingGUPTA, V; JAGADEESAN, R; SARASWAT, V et al.Lecture notes in computer science. 1997, pp 243-257, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Process modeling with different qualities of knowledgeMAY, W.Lecture notes in computer science. 1997, pp 436-450, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Pain CHOCS: a second generation calculus for higher order processesTHOMSEN, B.Acta informatica. 1993, Vol 30, Num 1, pp 1-59, issn 0001-5903Article

Verification-oriented language C-light and its structural operational semanticsNEPOMNIASCHY, Valery A; ANUREEV, Igor S; PROMSKY, Alexey V et al.Lecture notes in computer science. 2003, pp 103-111, issn 0302-9743, isbn 3-540-20813-5, 9 p.Conference Paper

An operational semantics for the goal life-cycle in BDI agentsHARLAND, James; MORLEY, David N; THANGARAJAH, John et al.Autonomous agents and multi-agent systems. 2014, Vol 28, Num 4, pp 682-719, issn 1387-2532, 38 p.Article

Semantics and expressiveness of ordered SOSMOUSAVI, Mohammadreza; PHILLIPS, Iain; RENTERS, Michel A et al.Information and computation (Print). 2009, Vol 207, Num 2, pp 85-119, issn 0890-5401, 35 p.Article

Operational semantics for Petri net componentsGROOTE, Jan Friso; VOORHOEVE, Marc.Theoretical computer science. 2007, Vol 379, Num 1-2, pp 1-19, issn 0304-3975, 19 p.Article

A rewriting logic framework for operational semantics of membrane systemsANDREI, Oana; CIOBANU, Gabriel; LUCANU, Dorel et al.Theoretical computer science. 2007, Vol 373, Num 3, pp 163-181, issn 0304-3975, 19 p.Article

Subtyping for session types in the pi calculusGAY, Simon; HOLE, Malcolm.Acta informatica. 2005, Vol 42, Num 2-3, pp 191-225, issn 0001-5903, 35 p.Article

On the expressibility of priorityACETO, Luca; INGOLFSDOTTIR, Anna.Information processing letters. 2008, Vol 109, Num 1, pp 83-85, issn 0020-0190, 3 p.Article