Global Computing

DOI10.1007/b103251zbMath1111.68547OpenAlexW4240493510MaRDI QIDQ5464841

Alan Schmitt, Jean-Bernard Stefani

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103251

zbMATH Keywords

componentshigher-order languagesprocess calculidistributed programmingambientsmobile codehigher-order bisimulation

Mathematics Subject Classification ID

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

Related Items (14)

Howe’s Method for Calculi with Passivation ⋮ Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ A Denotational Semantics for Parameterised Networks of Synchronised Automata ⋮ More on bisimulations for higher order \(\pi\)-calculus ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Aeolus: a component model for the cloud ⋮ Termination in higher-order concurrent calculi ⋮ Normal Bisimulations in Calculi with Passivation ⋮ On primitives for compensation handling as adaptable processes ⋮ Mobility control via passports ⋮ A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) ⋮ LMNtal as a hierarchical logic programming language ⋮ Structuring Operational Semantics: Simplification and Computation

Uses Software

• ArchJava
• SafeDpi

This page was built for publication: Global Computing