scientific article; zbMATH DE number 4180788
From MaRDI portal
Publication:3204033
zbMATH Open0716.68034MaRDI QIDQ3204033FDOQ3204033
Authors: Luca Aceto, Matthew Hennessy 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Cited In (25)
- Adding action refinement to a finite process algebra
- Title not available (Why is that?)
- Process algebra with action dependencies
- Towards action-refinement in process algebras
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- Title not available (Why is that?)
- Truly concurrent constraint programming
- Well-behaved flow event structures for parallel composition and action refinement
- Refinement of actions in a real-time process algebra with a true concurrency model
- Title not available (Why is that?)
- Concurrent bisimulations in Petri nets
- Action refinement.
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- \(\tau\)-bisimulations and full abstraction for refinement of actions
- Truly concurrent constraint programming
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- Bisimulation and action refinement
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- On hierarchically developing reactive systems
- Event structure semantics for multiparty sessions
- Action Refinement in Process Algebra and Security Issues
- Refinement of actions in event structures and causal trees
- Stepwise development of process-algebraic specifications in decorated trace semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q3204033)
