On the public citation graph
Real time process algebra
0 signed · 342 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-17945-3_13openalex-snapshot
Petri net models for algebraic theories of concurrency
inferredcites →https://doi.org/10.1007/3-540-18088-5_9openalex-snapshot
A timed failures model for extended communicating processes
inferredcites →https://doi.org/10.1007/3-540-19020-1_17openalex-snapshot
Metric spaces as models for real-time concurrency
inferredcites →https://doi.org/10.1007/978-3-0348-8211-8openalex-snapshot
Mathematics and Computer Science II
inferredcites →https://doi.org/10.1007/bfb0039073openalex-snapshot
A temporal calculus of communicating systems
inferredcites →https://doi.org/10.1007/bfb0040255openalex-snapshot
A hierarchy of domains for real-time distributed computing
inferredcites →https://doi.org/10.1016/0304-3975(87)90052-1openalex-snapshot
On the consistency of Koomen's Fair Abstraction Rule
inferredcites →https://doi.org/10.1016/0304-3975(88)90030-8openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1016/0890-5401(88)90020-xopenalex-snapshot
Compositional semantics for real-time distributed computing
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.5555/12868.12870openalex-snapshot
Safety analysis of timing properties in real-time systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1622openalex-snapshot
A simplification of a real‐time verification problem
inferred← citeshttps://doi.org/10.1006/inco.1994.1083openalex-snapshot
The Algebra of Timed Processes, ATP: Theory and Application
inferred← citeshttps://doi.org/10.1006/inco.1995.1014openalex-snapshot
An Operational Semantics for Timed CSP
inferred← citeshttps://doi.org/10.1006/inco.1995.1041openalex-snapshot
A Process Algebra for Timed Systems
inferred← citeshttps://doi.org/10.1006/inco.1995.1151openalex-snapshot
An Effective Axiomatization for Real Time ACP
inferred← citeshttps://doi.org/10.1006/inco.1996.0060openalex-snapshot
Forward and Backward Simulations
inferred← citeshttps://doi.org/10.1006/inco.1997.2657openalex-snapshot
A Complete Axiomatization of Finite-state ACSR Processes
inferred← citeshttps://doi.org/10.1006/inco.1998.2726openalex-snapshot
On Performance Congruences for Process Algebras
inferred← citeshttps://doi.org/10.1006/inco.1998.2729openalex-snapshot
A Conservative Look at Operational Semantics with Variable Binding
inferred← citeshttps://doi.org/10.1006/inco.1999.2821openalex-snapshot
Absolute versus Relative Time in Process Algebras
inferred← citeshttps://doi.org/10.1006/inco.1999.2879openalex-snapshot
A Timed Concurrent Constraint Language
inferred← citeshttps://doi.org/10.1007/11601548_15openalex-snapshot
Timing the Untimed: Terminating Successfully While Being Conservative
inferred← citeshttps://doi.org/10.1007/11603009_20openalex-snapshot
Is Timed Branching Bisimilarity an Equivalence Indeed?
inferred← citeshttps://doi.org/10.1007/3-540-44667-2_11openalex-snapshot
General Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_18openalex-snapshot
A Faster-than Relation for Asynchronous Processes
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_22openalex-snapshot
A Testing Theory for Generally Distributed Stochastic Processes
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_24openalex-snapshot
Time and Probability in Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_4openalex-snapshot
Proving Correctness of Timed Concurrent Constraint Programs
inferred← citeshttps://doi.org/10.1007/3-540-53982-4_22openalex-snapshot
Comparative semantics for a real-time programming language with integration
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_101openalex-snapshot
Completeness in real time process algebra
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_104openalex-snapshot
Relating processes with respect to speed
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_98openalex-snapshot
Abstract timed observation and process algebra
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_26openalex-snapshot
Asynchronous communication in real space process algebra
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_27openalex-snapshot
Translating timed process algebra into prioritized process algebra
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_4openalex-snapshot
Modelling real-time behavior with an interval time calculus
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_9openalex-snapshot
Broadcast communication for real-time processes
inferred← citeshttps://doi.org/10.1007/3-540-55179-4_40openalex-snapshot
A linear time process algebra
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_104openalex-snapshot
Behavioural abstraction in TCCS
inferred← citeshttps://doi.org/10.1007/3-540-56287-7_114openalex-snapshot
Real-time calculi and expansion theorems
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_18openalex-snapshot
A case study in safety-critical design
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_21openalex-snapshot
Timed modal specification — Theory and tools
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_29openalex-snapshot
A model for real-time process algebras (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_61openalex-snapshot
Deciding testing equivalence for real-time processes with dense time
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_22openalex-snapshot
Non interleaving process algebra
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_30openalex-snapshot
An Elimination Theorem for regular behaviours with integration
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_8openalex-snapshot
On the ill-timed but well-caused
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_10openalex-snapshot
Axiomatising real-timed processes
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_8openalex-snapshot
Time abstracted bisimulation: Implicit specifications and decidability
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_83openalex-snapshot
Generalizing finiteness conditions of labelled transition systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_168openalex-snapshot
Designing and implementing correct real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_186openalex-snapshot
Specification and transformation of reactive systems with time restrictions and concurrency
inferred← citeshttps://doi.org/10.1007/3-540-58715-2_129openalex-snapshot
Decidability of timed language-inclusion for networks of real-time communicating sequential processes
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_63openalex-snapshot
An algebraic framework for developing and maintaining real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-60246-1_157openalex-snapshot
Synthesizing distinguishing formulae for real time systems -extended abstract
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_38openalex-snapshot
Discrete time process algebra with abstraction
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_89openalex-snapshot
XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_37openalex-snapshot
A calculus for timed automata
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_52openalex-snapshot
On specifying real-time systems in a causality-based setting
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_10openalex-snapshot
Regular processes and timed automata
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_24openalex-snapshot
Testing semantics for a probabilistic-timed process algebra
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_25openalex-snapshot
Denotational semantics for timed testing
inferred← citeshttps://doi.org/10.1007/3-540-63107-0_31openalex-snapshot
Towards real-scale business transaction workflow modelling
inferred← citeshttps://doi.org/10.1007/978-0-387-35064-6_14openalex-snapshot
Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_26openalex-snapshot
Integrating Real Time Into Spin: A Prototype Implementation
inferred← citeshttps://doi.org/10.1007/978-1-4471-2120-6_11openalex-snapshot
A Real Time μCRL Specification of a System for Traffic Regulation at Signalized Intersections
inferred← citeshttps://doi.org/10.1007/978-1-4471-2120-6_15openalex-snapshot
Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks
inferred← citeshttps://doi.org/10.1007/978-1-4471-2120-6_6openalex-snapshot
The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra
inferred← citeshttps://doi.org/10.1007/978-1-4471-2120-6_7openalex-snapshot
Real Time Process Algebra with Infinitesimals
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_3openalex-snapshot
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_1openalex-snapshot
Real-Time Calculi and Expansion Theorems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_14openalex-snapshot
The Total Order Assumption
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_30openalex-snapshot
Towards Performance Evaluation in Process Algebras
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_6openalex-snapshot
Rigorous specification of real-time systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_8openalex-snapshot
Loose Real-Time Communicating Agents
inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_9openalex-snapshot
A Timed Specification Language for Concurrent Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3756-6_20openalex-snapshot
Timed Process Algebra, Petri Nets, and Event Refinement
inferred← citeshttps://doi.org/10.1007/978-1-4615-2241-6_12openalex-snapshot
Compositional Markovian Modelling Using a Process Algebra
inferred← citeshttps://doi.org/10.1007/978-1-84800-223-4_2openalex-snapshot
Deterministically Timed Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_14openalex-snapshot
Checking Modal Contracts for Virtually Timed Ambients
inferred← citeshttps://doi.org/10.1007/978-3-031-42626-1_2openalex-snapshot
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_16openalex-snapshot
Noninterference Analysis of Deterministically Timed Reversible Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_32openalex-snapshot
Process Algebra and Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-15201-1_18openalex-snapshot
Research Challenges in Modelling Ecosystems
inferred← citeshttps://doi.org/10.1007/978-3-319-72044-9_7openalex-snapshot
A Calculus of Virtually Timed Ambients
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_3openalex-snapshot
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_4openalex-snapshot
Expressiveness of Timed Events and Timed Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_30openalex-snapshot
An Algebraic Approach for Codesign
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_20openalex-snapshot
Real-Time Process Algebra and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_19openalex-snapshot
Action Abstraction in Timed Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-87563-5_4openalex-snapshot
On Mathematical Laws of Software
inferred← citeshttps://doi.org/10.1007/978-3-540-87891-9_9openalex-snapshot
State Space Reduction Techniques for Component Interfaces
inferred← citeshttps://doi.org/10.1007/978-3-642-02053-7_6openalex-snapshot
Mobility Models and Behavioural Equivalence for Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_13openalex-snapshot
A Timed Calculus for Wireless Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-13464-7_10openalex-snapshot
Forgetting the Time in Timed Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-15314-3_2openalex-snapshot
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
inferred← citeshttps://doi.org/10.1007/978-3-642-16083-7_8openalex-snapshot
A Cognitive Approach to Negotiation
inferred← citeshttps://doi.org/10.1007/978-3-642-22606-9_18openalex-snapshot
A Framework for Specification and Verification of Timeout Models of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32054-5_114openalex-snapshot
A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-38493-6_2openalex-snapshot
Modelling MAC-Layer Communications in Wireless Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40561-7_3openalex-snapshot
Real-Time Migration Properties of rTiMo Verified in Uppaal
inferred← citeshttps://doi.org/10.1007/978-3-642-77580-2_5openalex-snapshot
An introduction to compositional methods for concurrency and their application to real-time
inferred← citeshttps://doi.org/10.1007/978-3-642-79917-4_2openalex-snapshot
Stochastic Process Algebra for Discrete Event Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-85165-0_20openalex-snapshot
The Tick-Tock Case Study for the Assessment of Timed FDTs
inferred← citeshttps://doi.org/10.1007/978-3-662-04293-9openalex-snapshot
Introduction to Process Algebra
inferred← citeshttps://doi.org/10.1007/bf01178579openalex-snapshot
From ATP to timed graphs and hybrid systems
inferred← citeshttps://doi.org/10.1007/bf01191894openalex-snapshot
An efficiency preorder for processes
inferred← citeshttps://doi.org/10.1007/bf01211248openalex-snapshot
Recursion induction for real-time processes
inferred← citeshttps://doi.org/10.1007/bf01211907openalex-snapshot
Action transducers and timed automata
inferred← citeshttps://doi.org/10.1007/bf01214917openalex-snapshot
Compositional verification of real-time systems with Explicit Clock Temporal Logic
inferred← citeshttps://doi.org/10.1007/bf02811338openalex-snapshot
An introduction to compositional methods for concurrency and their application to real-time
inferred← citeshttps://doi.org/10.1007/bfb0000494openalex-snapshot
Extending process languages with time
inferred← citeshttps://doi.org/10.1007/bfb0014325openalex-snapshot
Symbolic bisimulation for timed processes
inferred← citeshttps://doi.org/10.1007/bfb0021028openalex-snapshot
Bus protocol conversion: From timing diagrams to state machines
inferred← citeshttps://doi.org/10.1007/bfb0024649openalex-snapshot
Applications of modal logic for the specification of real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0031989openalex-snapshot
The state operator in real time process algebra
inferred← citeshttps://doi.org/10.1007/bfb0031990openalex-snapshot
Timed process algebras with urgent interactions and a unique powerful binary operator
inferred← citeshttps://doi.org/10.1007/bfb0031999openalex-snapshot
Abstraction in real time process algebra
inferred← citeshttps://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferred← citeshttps://doi.org/10.1007/bfb0032009openalex-snapshot
Predicative specification of timed processes
inferred← citeshttps://doi.org/10.1007/bfb0039073openalex-snapshot
A temporal calculus of communicating systems
inferred← citeshttps://doi.org/10.1007/bfb0055626openalex-snapshot
Priority and maximal progress are completely axiomatisable (extended abstract)
inferred← citeshttps://doi.org/10.1007/bfb0084803openalex-snapshot
Using CSP to verify a timed protocol over a fair medium
inferred← citeshttps://doi.org/10.1007/bfb0084808openalex-snapshot
Action transducers and timed automata
inferred← citeshttps://doi.org/10.1007/pl00013291openalex-snapshot
Symbolic Approaches to Probability Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/pl00013313openalex-snapshot
‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
inferred← citeshttps://doi.org/10.1007/s001650050015openalex-snapshot
A Formal Definition of Time in LOTOS
inferred← citeshttps://doi.org/10.1007/s001650050042openalex-snapshot
Hybrid Verifications of Reactive Programs
inferred← citeshttps://doi.org/10.1007/s00236-002-0094-3openalex-snapshot
Comparing the worst-case efficiency of asynchronous systems with PAFAS
inferred← citeshttps://doi.org/10.1007/s00236-003-0117-8openalex-snapshot
Towards action refinement for true concurrent real time
inferred← citeshttps://doi.org/10.1007/s002360050047openalex-snapshot
Timing and causality in process algebra
inferred← citeshttps://doi.org/10.1007/s002360050153openalex-snapshot
Transformational design of real-time systems Part I: From requirements to program specifications
inferred← citeshttps://doi.org/10.1007/s002360050154openalex-snapshot
Transformational design of real-time systems. Part II: From program specifications to programs
inferred← citeshttps://doi.org/10.1007/s100090050006openalex-snapshot
Continuous modeling of real-time and hybrid systems: from concepts to tools
inferred← citeshttps://doi.org/10.1007/s11277-008-9480-7openalex-snapshot
A Context Driven Architecture for Cognitive Radio Nodes
inferred← citeshttps://doi.org/10.1016/0020-0190(93)90197-hopenalex-snapshot
Congruent weak bisimulation with dense real-time
inferred← citeshttps://doi.org/10.1016/0066-4138(91)90010-9openalex-snapshot
Planning for embedded systems: A real-time prospective
inferred← citeshttps://doi.org/10.1016/0169-7552(93)90049-aopenalex-snapshot
A LOTOS based performance evaluation tool
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00169-jopenalex-snapshot
A brief history of Timed CSP
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00205-wopenalex-snapshot
A theory of processes with durational actions
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00285-9openalex-snapshot
A complete axiomatization of timed bisimulation for a class of timed regular behaviours
inferred← citeshttps://doi.org/10.1016/0920-5489(94)90002-7openalex-snapshot
Converging towards a timed LOTOS standard
inferred← citeshttps://doi.org/10.1016/b978-0-08-041698-4.50014-7openalex-snapshot
Planning for embedded systems: A real-time prospective
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50009-5openalex-snapshot
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi
inferred← citeshttps://doi.org/10.1016/b978-0-444-89402-1.50025-4openalex-snapshot
An upward compatible timed extension to LOTOS
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50028-xopenalex-snapshot
Process Algebra with Timing: Real Time and Discrete Time
inferred← citeshttps://doi.org/10.1016/j.cogsys.2008.08.003openalex-snapshot
On the cognitive process of human problem solving
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.003openalex-snapshot
Formal Verification of Timed Systems Using Cones and Foci
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.11.077openalex-snapshot
A Hierarchy of SOS Rule Formats
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.093openalex-snapshot
Timed CSP: A Retrospective
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.12.010openalex-snapshot
A Spatial Extension to the π Calculus
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.091openalex-snapshot
Reduction Semantics and Formal Analysis of Orc Programs
inferred← citeshttps://doi.org/10.1016/j.ic.2002.08.001openalex-snapshot
Bisimulation on speed: worst-case efficiency
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.03.003openalex-snapshot
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.10.001openalex-snapshot
Virtually timed ambients: A calculus of nested virtualization
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.03.002openalex-snapshot
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.10.002openalex-snapshot
Continuity controlled hybrid automata
inferred← citeshttps://doi.org/10.1016/j.jlap.2006.08.003openalex-snapshot
Duplication of constants in process algebra
inferred← citeshttps://doi.org/10.1016/j.scico.2005.10.011openalex-snapshot
On the expressiveness of timed coordination models
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.04.019openalex-snapshot
Process algebra for hybrid systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.07.036openalex-snapshot
A brief history of process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.12.019openalex-snapshot
SOS formats and meta-theory: 20 years after
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.07.016openalex-snapshot
A timed calculus for wireless systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.02.022openalex-snapshot
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114681openalex-snapshot
Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2025.115646openalex-snapshot
Causal reversibility in nondeterministic process calculi extended with time or probabilities
inferred← citeshttps://doi.org/10.1016/s0020-0190(01)00215-0openalex-snapshot
The cones and foci proof technique for timed transition systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00010-1openalex-snapshot
Analysis of three hybrid systems in timed μCRL
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00024-xopenalex-snapshot
Timed rewriting logic with an application to object-based specification
inferred← citeshttps://doi.org/10.1016/s0168-0072(02)00082-9openalex-snapshot
On the expressiveness of choice quantification
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00134-7openalex-snapshot
Partial order models for quantitative extensions of LOTOS
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00305-4openalex-snapshot
Process algebra for performance evaluation
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00375-3openalex-snapshot
On the semantics of durational actions
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00403-5openalex-snapshot
An introduction to metric semantics: operational and denotational models for programming and specification languages
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00124-4openalex-snapshot
Bisimulation indexes and their applications
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00229-0openalex-snapshot
A process algebra of communicating shared resources with dense time and priorities
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00292-7openalex-snapshot
A general conservative extension theorem in process algebras with inequalities
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00127-8openalex-snapshot
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)88197-2openalex-snapshot
Process algebra with language matching
inferred← citeshttps://doi.org/10.1016/s1567-8326(00)00003-5openalex-snapshot
Variable binding operators in transition system specifications
inferred← citeshttps://doi.org/10.1016/s1567-8326(01)00004-2openalex-snapshot
Real time process algebra with time-dependent conditions
inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00029-2openalex-snapshot
Revisiting timing in process algebra
inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00039-5openalex-snapshot
An alternative formulation of operational conservativity with binding terms
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01185-0openalex-snapshot
Chapter 1: Engineering, Software and Hypotheses
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80468-2openalex-snapshot
Absolute versus Relative Time in Process Algebras
inferred← citeshttps://doi.org/10.1017/cbo9780511569951openalex-snapshot
A Compositional Approach to Performance Modelling
inferred← citeshttps://doi.org/10.1017/s0960129503004006openalex-snapshot
Embedding untimed into timed process algebra: the case for explicit termination
inferred← citeshttps://doi.org/10.1017/s0960129503004018openalex-snapshot
The expressive power of urgent, lazy and busy-waiting actions in timed processes
inferred← citeshttps://doi.org/10.1023/a:1020561826073openalex-snapshot
The Real-Time Process Algebra (RTPA)
inferred← citeshttps://doi.org/10.1023/a:1021753205918openalex-snapshot
Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor
inferred← citeshttps://doi.org/10.1023/a:1025457612549openalex-snapshot
Using Process Algebra to Describe Human and Software Behaviors
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1049/sej.1994.0026openalex-snapshot
Application-oriented real-time algebra
inferred← citeshttps://doi.org/10.1109/apsec.1997.640191openalex-snapshot
A design framework for system re-engineering
inferred← citeshttps://doi.org/10.1109/ccece.1999.807211openalex-snapshot
An agent-based system for distributed transactions: a model for Internet-based transactions
showing the first 200 of 330 · page through all 330
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.