Process algebras as support for sustainable systems of services

DOI10.1007/S00200-005-0175-YzbMath1086.68559OpenAlexW2021501494MaRDI QIDQ814902

Martin Fredriksson, Rune Gustavsson

Publication date: 8 February 2006

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-005-0175-y

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Pict

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus for cryptographic protocols: The spi calculus
• Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7--10, 2002. Revised papers
• Formal approaches to agent-based systems. Second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29--21, 2002. Revised papers
• Objects in the \(\pi\)-calculus
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Process algebras as support for sustainable systems of services