A Logical Study of Distributed Transition Systems

Kamal Lodaya Rohit Parikh Ramaswamy Ramanujam P. S. Thiagarajan

Published in: Inf. Comput. (1995)

Keyphrases

distributed systems
temporal logic
belief revision
transition systems