A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Compiling process algebraic specifications into timed automata
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Improving the Verification of Timed Systems Using Influence Information
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Towards a Notion of Distributed Time for Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical Structures in Computer Science
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Modal logics for timed control
CONCUR 2005 - Concurrency Theory
Coalgebraic semantics for timed processes
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobility Models and Behavioural Equivalence for Wireless Networks
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Modularity of Behaviours for Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
On Equivalences for a Class of Timed Regular Expressions
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Time and Resource into Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic semantics for timed processes
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Impossibility results for the equational theory of timed CCS
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
On the composition of time Petri nets
Discrete Event Dynamic Systems
Performance model checking scenario-aware dataflow
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Effective representation of RT-LOTOS terms by finite time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Towards Abstraction-Based Verification of Shape Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |