Login / Signup

Local and global fairness in concurrent systems.

Alon BrookDoron A. PeledSven Schewe
Published in: MEMOCODE (2015)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • formal specification
  • process algebra
  • transition systems
  • global information
  • neural network
  • petri net
  • model checking
  • resource allocation
  • multidatabase systems