Login / Signup

Abstraction in Real Time Process Algebra.

Steven Klusener
Published in: REX Workshop (1991)
Keyphrases
  • real time
  • process algebra
  • concurrent systems
  • asynchronous circuits
  • model checking
  • formal specification
  • formal methods
  • database
  • high level
  • information systems
  • temporal logic
  • web services composition