Login / Signup

General Distributions in Process Algebra.

Joost-Pieter KatoenPedro 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