Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Generating diagnostic information for behavioral preorders
Distributed Computing
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rodin formal modelling tool
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Reasoning about almost-certain convergence properties using Event-B
Science of Computer Programming
Hi-index | 0.00 |