Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results.

Mohammad Izadi Saeed Masoudian Sahand Mozaffari

Published in: CoRR (2015)

Keyphrases

transition systems
model checking
concurrent systems
finite state
programming language
temporal logic
practical reasoning
language processing
model checker
software engineering
attribute values
modeling language