Compressed and Distributed File Formats for Labeled Transition Systems.

Stefan Blom Izak van Langevelde Bert Lisser

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

file formats
transition systems
concurrent systems
distributed systems
model checking
multi agent
practical reasoning
social networks
petri net
interchange format
search algorithm
finite state
control flow