Slow Abstraction via Priority

DOI10.1007/978-3-642-39698-4_20zbMath1390.68487OpenAlexW1865135564MaRDI QIDQ2842644

A. W. Roscoe, Philippa Hopcroft

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Process Algebra and Model Checking ⋮ Reducing complex CSP models to traces via priority ⋮ The expressiveness of CSP with priority

Uses Software

• ASD Suite

Cites Work

• Refusal testing
• Probabilistic and prioritized models of timed CSP
• Understanding concurrent systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Slow Abstraction via Priority