Login / Signup

A knowledge-based approach for high-level programming of concurrent systems.

Phillip Chen-Yu Sheu
Published in: J. Syst. Softw. (1990)
Keyphrases
  • concurrent systems
  • high level programming
  • high level
  • temporal logic
  • distributed systems
  • process algebra
  • formal specification
  • model checking
  • petri net
  • transition systems
  • open source
  • markov decision processes