ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Compositional Refinement of Interactive Systems Modelled by Relations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Logical Basis for Modular Software and Systems Engineering
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.01 |