scientific article; zbMATH DE number 749804
From MaRDI portal
Publication:4763987
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- scientific article; zbMATH DE number 1231483
- Concurrency for Graph Grammars in a Petri net shell
- Formal Specification of Concurrent Systems: A Structured Approach
- scientific article; zbMATH DE number 3909750
- scientific article; zbMATH DE number 3846890
- scientific article; zbMATH DE number 1059894
- A formal system for specification analysis of concurrent programs
Cited in
(16)- Concurrent regular expressions and their relationship to Petri nets
- Parallel composition of graph grammars
- A formal model of concurrent systems based on bipartite directed acyclic graph
- Hypergraph construction and its application to the static analysis of concurrent systems
- Ugo Montanari and Graph Transformation
- Workshop on Petri Nets and Graph Transformations
- Grammar Morphisms and Weakly Adhesive Categories
- scientific article; zbMATH DE number 3982501 (Why is no real title available?)
- scientific article; zbMATH DE number 4030998 (Why is no real title available?)
- Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- Formal Specification of Concurrent Systems: A Structured Approach
- scientific article; zbMATH DE number 1107621 (Why is no real title available?)
- Concurrency for Graph Grammars in a Petri net shell
- Formal Methods in Software and Systems Modeling
- Concurrent graph and term graph rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4763987)
