Dynamic connectors for concurrency

DOI10.1016/S0304-3975(02)00011-7MaRDI QIDQ1603689zbMATH OpenFDO

Authors Roberto Bruni, Ugo Montanari

Publication date 15 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

distributed systemsbasic parallel processesprocess rewrite systemsalgebras of connectorsconcurrent and causal semanticstile logicwirings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Causal semantics for the algebra of connectors
• A basic algebra of stateless connectors
• Causal Semantics for the Algebra of Connectors
• scientific article; zbMATH DE number 92601
• Integrated structure and semantics for Reo connectors and Petri nets

Cites work

• scientific article; zbMATH DE number 1701348 (Why is no real title available?)
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 4157896 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1189279 (Why is no real title available?)
• scientific article; zbMATH DE number 3773853 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• scientific article; zbMATH DE number 3510514 (Why is no real title available?)
• scientific article; zbMATH DE number 1231623 (Why is no real title available?)
• scientific article; zbMATH DE number 1304991 (Why is no real title available?)
• scientific article; zbMATH DE number 1086713 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 1482700 (Why is no real title available?)
• scientific article; zbMATH DE number 1497812 (Why is no real title available?)
• scientific article; zbMATH DE number 1759487 (Why is no real title available?)
• scientific article; zbMATH DE number 1759616 (Why is no real title available?)
• scientific article; zbMATH DE number 1418361 (Why is no real title available?)
• scientific article; zbMATH DE number 1418364 (Why is no real title available?)
• scientific article; zbMATH DE number 3329974 (Why is no real title available?)
• scientific article; zbMATH DE number 2242585 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile agents
• A calculus of mobile processes. II
• A theory of processes with localities
• Algebra of communicating processes with abstraction
• An algebraic presentation of term graphs, via gs-monoidal categories
• Bicategories of processes
• Bicategories of spans and relations
• Bisimilarity of open terms.
• Bisimulation can't be traced
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Calculi for interaction
• Cartesian bicategories. I
• Categories of partial maps
• Catégories structurées
• Classes of finite relations as initial abstract data types. I
• Closed action calculi
• Coalgebras and cartesian categories
• Comparing locality and causality based equivalences
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Compositional SOS and beyond: A coalgebraic view of open systems
• Conditional rewriting logic as a unified model of concurrency
• Configuration structures, event structures and Petri nets
• Elementary structures in process theory (1): Sets with renaming
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Flow models of distributed computations: Three equivalent semantics for CCS
• Higher-level synchronising devices in Meije-SCCS
• Interaction combinators
• LEAN: An intermediate language based on graph rewriting
• Location equivalence in a parametric setting
• Mobile Petri nets
• Mobile ambients
• Normal forms for algebras of connections.
• Observing localities
• Premonoidal categories and notions of computation
• Process rewrite systems.
• Proved trees
• Refinement of actions in event structures and causal trees
• Structured operational semantics and bisimulation as a congruence
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• The chemical abstract machine
• Tile formats for located and mobile systems.
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(6)

• Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
• A connector algebra for P/T nets interactions
• Tiling transactions in rewriting logic
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Observational congruences for dynamically reconfigurable tile systems
• Revisiting causality, coalgebraically

Describes a project that uses

Uses Software

• Maude
• CafeOBJ

This page was built for publication: Dynamic connectors for concurrency

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