Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
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
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Fundamenta Informaticae
Compiling process algebraic specifications into timed automata
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Expired data collection in shared dataspaces
Theoretical Computer Science - Foundations of software science and computation structures
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical Structures in Computer Science
Bisimulation on speed: worst-case efficiency
Information and Computation
Located actions in process algebra with timing
Fundamenta Informaticae
A brief history of process algebra
Theoretical Computer Science - Process algebra
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Predictable real-time software synthesis
Real-Time Systems
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Generating priority rewrite systems for OSOS process languages
Information and Computation
Formal specification and analysis of hardware systems in timed Chi
Nordic Journal of Computing
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
An evaluation of timed scenario notations
Journal of Systems and Software
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical modelling of digital hardware systems in timed Chi
MIC '07 Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control
SC2SCFL: automated systemC to systemCFLtranslation
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
Modelling and verification of web services business activity protocol
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Rule formats for distributivity
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
A timed calculus for wireless systems
Theoretical Computer Science
Rule formats for determinism and idempotence
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Timing the untimed: terminating successfully while being conservative
Processes, Terms and Cycles
Assessing the expressivity of formal specification languages
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Rule formats for determinism and idempotence
Science of Computer Programming
Behavioural equivalences over migrating processes with timers
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Located Actions in Process Algebra with Timing
Fundamenta Informaticae
Fundamenta Informaticae
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Rule formats for distributivity
Theoretical Computer Science
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
| Hi-index | 0.02 |