scientific article; zbMATH DE number 3566181
From MaRDI portal
Publication:4138147
Cited in
(41)- Asynchronous sequential processes
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
- A model and temporal proof system for networks of processes
- A theory for nondeterminism, parallelism, communication, and concurrency
- Specification and top-down design of distributed systems
- Modeling concurrency with partial orders
- A refinement of strong sequentiality for term rewriting with constructors
- The equational theory of pomsets
- Concurrent transition systems
- Linear dynamic Kahn networks are deterministic
- Computing with infinite objects
- Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable
- Sequential algorithms on concrete data structures
- A denotational theory of synchronous reactive systems
- Towards a theory of parallel algorithms on concrete data structures
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Defining concurrent processes constructively
- Algebraic specification of reactive systems
- A buffer minimization problem for the design of embedded systems
- The origins of structural operational semantics
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- DTL: A language for the design and implementation of concurrent programs as structured networks
- An application of co-inductive types in Coq: verification of the alternating bit protocol
- Turing machines, transition systems, and interaction
- Compiling process networks to interaction nets
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Full abstraction and the Context Lemma (preliminary report)
- Compositional relational semantics for indeterminate dataflow networks
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- To be or not to be …lazy (In a Parallel Context)
- Retracing CSP
- Graph-based communication in Eden
- A generalized Kahn Principle for abstract asynchronous networks
- Specification and verification of concurrent systems by causality and realizability
- Programming with streams in Coq a case study: The Sieve of Eratosthenes
- Monoidal streams for dataflow programming
- Using fixed-point semantics to prove retiming lemmas
- Coinductive streams in monoidal categories
- Turner, Bird, Eratosthenes: an eternal burning thread
- A calculus for the specification, design, and verification of distributed concurrent systems
- Turing machines, transition systems, and interaction
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 Q4138147)
