Sign in

Communicating State Transition Systems for Fine-Grained Concurrent Resources.

Aleksandar NanevskiRuy Ley-WildIlya SergeyGermán Andrés Delbianco
Published in: ESOP (2014)
Keyphrases
  • fine grained
  • state transition
  • coarse grained
  • tightly coupled
  • access control
  • input output
  • finite state machines
  • distributed systems
  • black box
  • database systems
  • hidden markov models
  • communication channels