A formalism for real-time concurrent object-oriented computing
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Debugging agent interactions: a case study
Proceedings of the 2001 ACM symposium on Applied computing
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
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
General distributions in process algebra
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
Fundamenta Informaticae
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Evaluating real-time software specification languages
Computer Standards & Interfaces
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Expired data collection in shared dataspaces
Theoretical Computer Science - Foundations of software science and computation structures
Bisimulation on speed: worst-case efficiency
Information and Computation
Located actions in process algebra with timing
Fundamenta Informaticae
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
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
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Hi-index | 0.00 |