Finite transition systems: semantics of communicating systems 论文
1994Prentice Hall International (UK) Ltd. eBooks引用 219
Formal Methods in VerificationModel-Driven Software Engineering TechniquesModeling and Simulation Systems
摘要
Transition systems the synchronous product of transition systems transition system logics verification of properties of transition systems fixpoints in transition systems software tools.