Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Specification of an Access Control System with a Formalism Combining CCS and CASL
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic domains of timed event structures
Programming and Computing Software
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Unifying behavioral equivalences of timed transition systems
Programming and Computing Software
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Theoretical Computer Science
Hi-index | 0.00 |