On the Expressiveness of Forwarding in Higher-Order Communication

DOI10.1007/978-3-642-03466-4_10zbMath1250.68208DBLPconf/ictac/GiustoPZ09OpenAlexW1789929464WikidataQ57652413 ScholiaQ57652413MaRDI QIDQ3393405

Jorge A. Pérez, Gianluigi Zavattaro, Cinzia Di Giusto

Publication date: 20 August 2009

Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03466-4_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

On the expressiveness and decidability of higher-order process calculi ⋮ On the interactive power of higher-order processes extended with parameterization

This page was built for publication: On the Expressiveness of Forwarding in Higher-Order Communication