Formal verification and analysis of multimedia systems
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Specification and evaluation of logic-based model checking
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Planning Proofs of Equations in CCS
Automated Software Engineering
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Hi-index | 0.00 |