Action Refinement for Probabilistic Processes with True Concurrency Models
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)
Interface Automata with Complex Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A non-interleaving denotational semantics of value passing CCS with action refinement
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
Model checking for action abstraction
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Non-atomic refinement in z and CSP
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels
Electronic Notes in Theoretical Computer Science (ENTCS)
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
| Hi-index | 0.00 |