Decidability of split equivalence
Information and Computation
Information and Computation
Valid identity problem for shuffle regular expressions
Journal of Automata, Languages and Combinatorics
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
On hierarchically developing reactive systems
Information and Computation
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
| Hi-index | 0.00 |