An action refinement operator for E-LOTOS with true concurrency
Computer Standards & Interfaces
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |