Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Process algebra for performance evaluation
Theoretical Computer Science
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
General distributions in process algebra
Lectures on formal methods and performance analysis
Bisimulation indexes and their applications
Theoretical Computer Science
Fundamenta Informaticae
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
The power of reachability testing for timed automata
Theoretical Computer Science
Located actions in process algebra with timing
Fundamenta Informaticae
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Characterize branching distance in terms of (η,α)-bisimilarity
Information and Computation
A timed calculus for wireless systems
Theoretical Computer Science
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Located Actions in Process Algebra with Timing
Fundamenta Informaticae
Fundamenta Informaticae
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Proceeings of the 2nd International Workshop on Worst-Case Traversal Time
Hi-index | 0.00 |