Process algebras as support for sustainable systems of services

DOI10.1007/S00200-005-0175-YzbMATH Open1086.68559OpenAlexW2021501494MaRDI QIDQ814902FDOQ814902

Authors: Rune Gustavsson, Martin Fredriksson 

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

Recommendations

• Composability: Perspectives in ecological modeling
• Process algebras for Petri nets. The alphabetization of distributed systems
• Modelling distributed systems.
• Compatibility and inheritance in software architectures
• The \(\pi\)-calculus: An introduction

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A calculus for cryptographic protocols: The spi calculus
• Title not available (Why is that?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• The \(\pi\)-calculus: A theory of mobile processes
• Objects in the \(\pi\)-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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Compatibility and inheritance in software architectures
• Towards a process calculus for REST: current state of the art
• Composability: Perspectives in ecological modeling

Uses Software

• Pict

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814902)