A formalism for real-time concurrent object-oriented computing
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Bisimulation indexes and their applications
Theoretical Computer Science
A practical approach to implementing real-time semantics
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Model checking of systems with many identical timed processes
Theoretical Computer Science
Reliable and accountable system design
The Knowledge Engineering Review
Bisimulation on speed: worst-case efficiency
Information and Computation
Process Algebras for Network Communication
Fundamenta Informaticae
Broadcast abstraction in a stochastic calculus for mobile networks
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
| Hi-index | 0.01 |