Login / Signup
General Distributions in Process Algebra.
Joost-Pieter Katoen
Pedro R. D'Argenio
Published in:
European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Keyphrases
</>
process algebra
real time
concurrent systems
formal specification
database
case study
data model
response time