scientific article; zbMATH DE number 3903937
From MaRDI portal
Publication:3681902
zbMATH Open0566.68011MaRDI QIDQ3681902FDOQ3681902
Authors: J. W. de Bakker, John-Jules Meyer, Ernst-Rüdiger Olderog
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
- Infinite streams and finite observations in the semantics of uniform concurrency
- Order and metric in the stream semantics of elemental concurrency
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- scientific article; zbMATH DE number 92601
- Semantics of finite and infinite networks of concurrent communicating agents
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cited In (7)
- Hiding in stream semantics of uniform concurrency
- Upper Bounds on Stream I/O Using Semantic Interpretations
- Trace, failure and testing equivalences for communicating processes
- Specification-oriented semantics for communicating processes
- Infinite streams and finite observations in the semantics of uniform concurrency
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Order and metric in the stream semantics of elemental concurrency
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 Q3681902)