scientific article; zbMATH DE number 3235663
From MaRDI portal
Publication:5523291
Cited in
(11)- A formal semantics for concurrent systems with a priority relation
- Methods and means of parallel processing of information
- State-transition structures in physics and in computation
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
- Causality in physics and computation
- Models and emerging trends of concurrent constraint programming
- Propositional dynamic logic for Petri nets with iteration
- On the positive calculus of relations with transitive closure
- Specification and verification of concurrent systems by causality and realizability
- A calculus for the specification, design, and verification of distributed concurrent systems
- Relating state-based and process-based concurrency through linear logic (full-version)
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 Q5523291)
