Nivat's processes and their synchronization
Theoretical Computer Science
A formal model of the java multi-threading system and its validation on a known problem
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Synchronized Products of Transition Systems and Their Analysis
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
A Timed Extension for ALTARICA
Fundamenta Informaticae
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Timed Extension for ALTARICA
Fundamenta Informaticae
The AltaRica Formalism for Describing Concurrent Systems
Fundamenta Informaticae
| Hi-index | 0.00 |