From process calculi to process frameworks

DOI10.1007/3-540-44618-4_7MaRDI QIDQ4536594zbMATH OpenFDO

Authors Philippa Gardner

Publication date 25 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44618-4_7

Mathematics Subject Classification ID

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

Recommendations

• A calculus of mobile processes. I
• Calculi for interaction
• The -calculus: An introduction
• -calculi
• scientific article; zbMATH DE number 785050

Cited in

(8)

• A spatial logic for concurrency. I
• Process calculi as a tool for studying coordination, contracts and session types
• Pure bigraphs: structure and dynamics
• A sorted semantic framework for applied process calculi
• A sorted semantic framework for applied process calculi (extended abstract)
• scientific article; zbMATH DE number 1231633 (Why is no real title available?)
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
• Responsiveness in process calculi

This page was built for publication: From process calculi to process frameworks

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