Graph-grammar semantics of a higher-order programming language for distributed systems

DOI10.1007/3-540-57787-4_5MaRDI QIDQ5096275zbMATH OpenOpenAlexFDO

Authors Klaus Barthelmann, Georg Schied

Publication date 16 August 2022

Published in Graph Transformations in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2016084
• scientific article; zbMATH DE number 4049020
• A graph-based approach to the compositional specification of distributed systems
• scientific article; zbMATH DE number 1231503
• Linear-Ordered Graph Grammars: Applications to Distributed Systems Design

Cites work

• -calculus semantics of object-oriented programming languages
• A calculus of mobile processes. II
• Algebra of communicating processes with abstraction
• Amalgamation of graph transformations: a synchronization mechanism
• Equivalence of computations in actor grammars
• Graph expressions and graph rewritings
• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4047165 (Why is no real title available?)
• scientific article; zbMATH DE number 4049095 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 108540 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• On categorical graph grammars integrating structural transformations and operations on labels
• Petri nets, event structures and domains. I
• Plain CHOCS. A second generation calculus for higher order processes
• The denotational semantics of dynamic networks of processes
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983

Cited in

(9)

• Generating irregular partitionable data structures
• An operational semantics of \textsc{CommUnity} based on graph transformation systems
• Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
• scientific article; zbMATH DE number 1231503 (Why is no real title available?)
• An imperative language based on distributive categories II
• scientific article; zbMATH DE number 2016084 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• A graph-based approach to the compositional specification of distributed systems
• Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems

This page was built for publication: Graph-grammar semantics of a higher-order programming language for distributed systems

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