On the public citation graph
An overview and synthesis on timed process algebras
0 signed · 224 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.1006/inco.1994.1083openalex-snapshot
The Algebra of Timed Processes, ATP: Theory and Application
inferredcites →https://doi.org/10.1006/inco.1995.1014openalex-snapshot
An Operational Semantics for Timed CSP
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-15670-4_19openalex-snapshot
The ESTEREL synchronous programming language and its mathematical semantics
inferredcites →https://doi.org/10.1007/3-540-54233-7_136openalex-snapshot
CCS + time = an interleaving model for real time systems
inferredcites →https://doi.org/10.1007/3-540-54430-5_101openalex-snapshot
Completeness in real time process algebra
inferredcites →https://doi.org/10.1007/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0039073openalex-snapshot
A temporal calculus of communicating systems
inferredcites →https://doi.org/10.1007/bfb0039080openalex-snapshot
Real-time behaviour of asynchronous agents
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/0304-3975(84)90067-7openalex-snapshot
Algèbre de processus et synchronisation
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/b978-0-444-89402-1.50027-8openalex-snapshot
LOTOS-like process algebras with urgent or timed interactions
inferredcites →https://doi.org/10.1109/12.83619openalex-snapshot
The formal description and verification of hardware timing
inferredcites →https://doi.org/10.1145/41625.41641openalex-snapshot
LUSTRE: a declarative language for real-time programming
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.372openalex-snapshot
Simulated time for host‐based testing with TTCN‐3
inferred← citeshttps://doi.org/10.1002/stvr.448openalex-snapshot
A formal framework to test soft and hard deadlines in timed systems
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.1997.2671openalex-snapshot
Liveness in Timed and Untimed Systems
inferred← citeshttps://doi.org/10.1006/inco.1998.2755openalex-snapshot
Basic Observables for Processes
inferred← citeshttps://doi.org/10.1006/inco.1999.2821openalex-snapshot
Absolute versus Relative Time in Process Algebras
inferred← citeshttps://doi.org/10.1006/inco.2000.3058openalex-snapshot
Language-based Performance Prediction for Distributed and Mobile Systems
inferred← citeshttps://doi.org/10.1006/inco.2002.3161openalex-snapshot
Ordered SOS Process Languages for Branching and Eager Bisimulations
inferred← citeshttps://doi.org/10.1007/0-306-48734-9_22openalex-snapshot
An Abstract Modeling Approach Towards System-Level Design-Space Exploration
inferred← citeshttps://doi.org/10.1007/0-387-26151-6_10openalex-snapshot
Predictability in Real-Time System Development
inferred← citeshttps://doi.org/10.1007/11759744_1openalex-snapshot
Simulated Time for Testing Railway Interlockings with TTCN-3
inferred← citeshttps://doi.org/10.1007/11777830_4openalex-snapshot
Embedding Real Time in Stochastic Process Algebras
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-44667-2_5openalex-snapshot
Process Algebra and Markov Chains
inferred← citeshttps://doi.org/10.1007/3-540-44669-9_28openalex-snapshot
On the Category of Event Structures with Dense Time
inferred← citeshttps://doi.org/10.1007/3-540-44743-1_12openalex-snapshot
Characterizing Timed Net Processes Categorically
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_26openalex-snapshot
Modeling Real-Time Systems — Challenges and Work Directions
inferred← citeshttps://doi.org/10.1007/3-540-45465-9_45openalex-snapshot
Bialgebraic Modelling of Timed Processes
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_10openalex-snapshot
From the Specification to the Scheduling of Time-Dependent Systems
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_3openalex-snapshot
Stochastic Process Algebras Meet Eden
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_2openalex-snapshot
The Compositional Specification of Timed Systems — A Tutorial
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_20openalex-snapshot
Modelling Timeouts without Timelocks
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_16openalex-snapshot
Time and Asynchrony in Interactions among Distributed Real-Time Objects
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_10openalex-snapshot
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_23openalex-snapshot
Model-checking for real-time systems specified in Lotos
inferred← citeshttps://doi.org/10.1007/3-540-57880-3_4openalex-snapshot
An asynchronous process algebra with multiple clocks
inferred← citeshttps://doi.org/10.1007/3-540-58021-2_20openalex-snapshot
The PEPA workbench: A tool to support a process algebra-based approach to performance modelling
inferred← citeshttps://doi.org/10.1007/3-540-58152-9_6openalex-snapshot
Occurrence graphs for Interval Timed Coloured Nets
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_165openalex-snapshot
Verification of an audio control protocol
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-58759-4_33openalex-snapshot
A formal description technique supporting expression of quality of service and media synchronization
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_224openalex-snapshot
Describing a Signal Analyzer in the process algebra PMC — A case study
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-61648-9_54openalex-snapshot
Compositionality in real-time shared variable concurrency
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_14openalex-snapshot
Mobile processes with local clocks
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_12openalex-snapshot
Formal specification and verification method of concurrent and distributed systems by restricted 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-63010-4_26openalex-snapshot
Extending LOTOS with time: A true concurrency perspective
inferred← citeshttps://doi.org/10.1007/3-540-63165-8_204openalex-snapshot
Basic observables for processes
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_19openalex-snapshot
Some progress in the symbolic verification of timed automata
inferred← citeshttps://doi.org/10.1007/978-0-387-34867-4_3openalex-snapshot
About time nondeterminism and exception handling in a temporal extension of LOTOS
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_17openalex-snapshot
Verifying ET-LOTOS programs with KRONOS
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_3openalex-snapshot
A temporal reachability analysis
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_19openalex-snapshot
Implementation of multimedia systems based on a real-time extension of Estelle
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_11openalex-snapshot
Invited Paper — Computational models for open distributed systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_12openalex-snapshot
A timed automaton model for ET-LOTOS verification
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_2openalex-snapshot
Modal Logics in Timed Process Algebras
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_24openalex-snapshot
Real-Time Program Synthesis from Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
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-031-08679-3_3openalex-snapshot
The Reversible Temporal Process Language
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-01466-1_20openalex-snapshot
Supervisory Coordination of Timed Communicating Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_7openalex-snapshot
An Automatic Technique for Checking the Simulation of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_5openalex-snapshot
A Contract-Oriented Middleware
inferred← citeshttps://doi.org/10.1007/978-3-319-44878-7_1openalex-snapshot
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
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-39893-6_14openalex-snapshot
Adding Action Refinement to Stochastic True Concurrency Models
inferred← citeshttps://doi.org/10.1007/978-3-540-68894-5_8openalex-snapshot
Process Algebras in Systems Biology
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_11openalex-snapshot
TTCN-3 for distributed testing embedded systems
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_4openalex-snapshot
Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-79980-1_21openalex-snapshot
Extending Timed Process Algebra with Discrete Stochastic Time
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_7openalex-snapshot
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
inferred← citeshttps://doi.org/10.1007/978-3-642-10238-7_2openalex-snapshot
Aspect-Oriented Formal Specification for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_8openalex-snapshot
Relational Concurrent Refinement: Timed Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-59048-1_7openalex-snapshot
Timed Rewriting Logic for the Specification of Time-Sensitive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-79917-4_1openalex-snapshot
Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1007/978-94-011-0187-5_6openalex-snapshot
Performance Modeling with Structured Actions
inferred← citeshttps://doi.org/10.1007/bfb0000494openalex-snapshot
Extending process languages with time
inferred← citeshttps://doi.org/10.1007/bfb0013851openalex-snapshot
Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1007/bfb0032009openalex-snapshot
Predicative specification of timed processes
inferred← citeshttps://doi.org/10.1007/bfb0055085openalex-snapshot
Metric semantics for true concurrent real time
inferred← citeshttps://doi.org/10.1007/bfb0055626openalex-snapshot
Priority and maximal progress are completely axiomatisable (extended abstract)
inferred← citeshttps://doi.org/10.1007/s00165-004-0044-7openalex-snapshot
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
inferred← citeshttps://doi.org/10.1007/s00165-012-0230-yopenalex-snapshot
Reconciling real and stochastic time: the need for probabilistic refinement
inferred← citeshttps://doi.org/10.1007/s001650050015openalex-snapshot
A Formal Definition of Time in LOTOS
inferred← citeshttps://doi.org/10.1007/s001650050032openalex-snapshot
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal
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/s00236-005-0172-4openalex-snapshot
Refinement of actions for real-time concurrent systems with causal ambiguity
inferred← citeshttps://doi.org/10.1007/s002360050177openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1007/s00766-013-0200-9openalex-snapshot
Early modeling and validation of timed system requirements using Timed Use Case Maps
inferred← citeshttps://doi.org/10.1007/s10009-005-0213-xopenalex-snapshot
A real-time profile for UML
inferred← citeshttps://doi.org/10.1016/0140-3664(96)81596-9openalex-snapshot
Formal description of distributed multimedia systems: an assessment of potential techniques
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00149-dopenalex-snapshot
Constraint nets: a semantic model for hybrid dynamic systems
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/b978-0-444-89402-1.50025-4openalex-snapshot
An upward compatible timed extension to LOTOS
inferred← citeshttps://doi.org/10.1016/b978-075066496-7/50005-5openalex-snapshot
Platform-independent design
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.030openalex-snapshot
Modularity of Behaviours for Mathematical Operational Semantics
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.107openalex-snapshot
Stochastic and Real Time in Process Algebra: A Conceptual Overview
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.ic.2013.02.004openalex-snapshot
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
inferred← citeshttps://doi.org/10.1016/j.jal.2011.11.002openalex-snapshot
A calculus for orchestration of web services
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.04.001openalex-snapshot
Input urgent semantics for asynchronous timed session types
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.2006.08.003openalex-snapshot
Duplication of constants in process algebra
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.06.001openalex-snapshot
Testing from a stochastic timed system with a fault model
inferred← citeshttps://doi.org/10.1016/j.jss.2009.06.030openalex-snapshot
Mutation testing from probabilistic and stochastic finite state machines
inferred← citeshttps://doi.org/10.1016/j.jss.2009.09.014openalex-snapshot
An evaluation of timed scenario notations
inferred← citeshttps://doi.org/10.1016/j.scico.2013.01.005openalex-snapshot
A semantic analysis of key management protocols for wireless sensor networks
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.03.030openalex-snapshot
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.09.020openalex-snapshot
Fully abstract models and refinements as tools to compare agents in timed coordination languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.08.019openalex-snapshot
Modelling and analysing neural networks using a hybrid process algebra
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/s0096-0551(01)00014-5openalex-snapshot
Object-oriented modelling and specification using SHE
inferred← citeshttps://doi.org/10.1016/s0140-3664(96)01153-xopenalex-snapshot
Validation of protocols with temporal constraints
inferred← citeshttps://doi.org/10.1016/s0140-3664(98)00246-1openalex-snapshot
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00240-6openalex-snapshot
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
inferred← citeshttps://doi.org/10.1016/s0166-5316(02)00105-0openalex-snapshot
Performance evaluation with temporal rewards
inferred← citeshttps://doi.org/10.1016/s0169-7552(96)00078-5openalex-snapshot
An introduction to ET-LOTOS for the description of time-sensitive systems
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00132-3openalex-snapshot
Formal methods for broadband and multimedia systems
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00133-5openalex-snapshot
Stochastic process algebras – between LOTOS and Markov chains
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(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)00237-5openalex-snapshot
On the coarsest congruence within global-clock-bounded equivalence
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00169-8openalex-snapshot
Exact performance equivalence: An equivalence relation for stochastic automata
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00214-5openalex-snapshot
Finite axiom systems for testing preorder and De Simone process languages
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00342-4openalex-snapshot
Metric semantics for true concurrent real time
inferred← citeshttps://doi.org/10.1016/s1389-1286(01)00190-6openalex-snapshot
A case study in abstraction using E-LOTOS and the FireWire
inferred← citeshttps://doi.org/10.1016/s1389-1286(02)00455-3openalex-snapshot
Performance modelling of a network processor using POOSL
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40547-7openalex-snapshot
Specification and Verification of the KORSO Production Cell
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41955-0openalex-snapshot
ADOORAT - A Distributed Object-Oriented Approach for Real-Time Systems Development
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43750-5openalex-snapshot
Temporal Reasoning on Object-Oriented Real-Time Specifications by using Constraint Propagation Techniques
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58836-9openalex-snapshot
Object-Oriented Development of Real-Time Industrial Automation Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80519-xopenalex-snapshot
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80520-6openalex-snapshot
Revisiting Interactive Markov Chains
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80230-0openalex-snapshot
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80469-4openalex-snapshot
Eager, Busy-Waiting and Lazy Actions Timed Computation
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80496-7openalex-snapshot
Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model
inferred← citeshttps://doi.org/10.1017/s0960129503004006openalex-snapshot
Embedding untimed into timed process algebra: the case for explicit termination
inferred← citeshttps://doi.org/10.1023/a:1008649927166openalex-snapshot
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
inferred← citeshttps://doi.org/10.1023/a:1015548507922openalex-snapshot
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
inferred← citeshttps://doi.org/10.1023/a:1020561826073openalex-snapshot
The Real-Time Process Algebra (RTPA)
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.1093/comjnl/bxr094openalex-snapshot
Stochastic Process Algebras: From Individuals to Populations
inferred← citeshttps://doi.org/10.1109/32.159837openalex-snapshot
Compiling real-time specifications into extended automata
inferred← citeshttps://doi.org/10.1109/32.962559openalex-snapshot
Performance evaluation of mobile processes via abstract machines
inferred← citeshttps://doi.org/10.1109/acsd.2007.23openalex-snapshot
Real-Time Process Algebra with Stochastic Delays
inferred← citeshttps://doi.org/10.1109/acsd.2007.40openalex-snapshot
A model-driven design approach for mechatronic systems
inferred← citeshttps://doi.org/10.1109/acsd.2008.4574608openalex-snapshot
QoS-driven service selection and composition
inferred← citeshttps://doi.org/10.1109/acsd.2010.21openalex-snapshot
From POOSL to UPPAAL: Transformation and Quantitative Analysis
inferred← citeshttps://doi.org/10.1109/aiccsa.2008.4493544openalex-snapshot
Aspect-oriented formal specification for multimedia systems
inferred← citeshttps://doi.org/10.1109/cdc.1991.261658openalex-snapshot
The control of dense real-time discrete event systems
inferred← citeshttps://doi.org/10.1109/coase.2013.6653906openalex-snapshot
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems
inferred← citeshttps://doi.org/10.1109/coginf.2002.1039298openalex-snapshot
A new mathematical notation for describing notion and thought in software design
inferred← citeshttps://doi.org/10.1109/csd.1998.657554openalex-snapshot
A true concurrency semantics for ET-LOTOS
inferred← citeshttps://doi.org/10.1109/csda.1998.798362openalex-snapshot
Towards a discipline of system engineering: validation of dependable systems
inferred← citeshttps://doi.org/10.1109/csfw.2000.856935openalex-snapshot
Information flow analysis in a discrete-time process algebra
inferred← citeshttps://doi.org/10.1109/dsd.2002.1115394openalex-snapshot
On the fundamental design gap in terabit per second packet switching
inferred← citeshttps://doi.org/10.1109/iccicc46617.2019.9146036openalex-snapshot
RTPA-based Software Generation by AI Programming
inferred← citeshttps://doi.org/10.1109/iccl.1994.288384openalex-snapshot
Semantics for a real-time object-oriented programming language
inferred← citeshttps://doi.org/10.1109/iceccs.2001.930164openalex-snapshot
Action refinement for true concurrent real time
inferred← citeshttps://doi.org/10.1109/iceccs.2007.13openalex-snapshot
Achieving Discrete Relative Timing with Untimed Process Algebra
inferred← citeshttps://doi.org/10.1109/ipds.1995.395813openalex-snapshot
Stochastic process algebras as a tool for performance and dependability modelling
inferred← citeshttps://doi.org/10.1109/jsac.2002.806122openalex-snapshot
Real-time information flow analysis
inferred← citeshttps://doi.org/10.1109/lics.1992.185551openalex-snapshot
Symbolic model checking for real-time systems
inferred← citeshttps://doi.org/10.1109/memcod.2007.371231openalex-snapshot
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
inferred← citeshttps://doi.org/10.1109/pnpm.1995.524325openalex-snapshot
Stochastic Petri net semantics for stochastic process algebras
inferred← citeshttps://doi.org/10.1109/qsic.2008.28openalex-snapshot
An Executable Interface Specification for Industrial Embedded System Design
inferred← citeshttps://doi.org/10.1109/real.1993.393489openalex-snapshot
RTSL: a language for real-time schedulability analysis
inferred← citeshttps://doi.org/10.1109/real.1996.563703openalex-snapshot
Predictability of real-time systems: a process-algebraic approach
inferred← citeshttps://doi.org/10.1109/rtcsa.2006.58openalex-snapshot
Strengthening Property Preservation in Concurrent Real-Time Systems
inferred← citeshttps://doi.org/10.1109/sefm.2010.41openalex-snapshot
Static Enforcement of Service Deadlines
inferred← citeshttps://doi.org/10.1109/tase.2007.29openalex-snapshot
Generation of optimal finite test suites for timed systems
inferred← citeshttps://doi.org/10.1109/tase.2007.37openalex-snapshot
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
inferred← citeshttps://doi.org/10.1109/tc.2008.15openalex-snapshot
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
inferred← citeshttps://doi.org/10.1109/words.1997.609966openalex-snapshot
Applying object-oriented concepts to the development of real-time industrial automation systems
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637979openalex-snapshot
Automatic effective verification method for distributed and concurrent systems using timed language inclusion
inferred← citeshttps://doi.org/10.1145/1481506.1481510openalex-snapshot
Applying formal methods to gossiping networks with mCRL and groove
inferred← citeshttps://doi.org/10.1145/563857.563818openalex-snapshot
On modeling real-time mobile processes
inferred← citeshttps://doi.org/10.1201/9781420011746.ch31openalex-snapshot
Process-Algebraic Analysis of Timing and Schedulability Properties
inferred← citeshttps://doi.org/10.21236/ada256199openalex-snapshot
Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
inferred← citeshttps://doi.org/10.22024/unikent/01.02.86456openalex-snapshot
Verification of real-time systems: improving tool support
inferred← citeshttps://doi.org/10.23638/lmcs-14(3:24)2018openalex-snapshot
Equational Reasonings in Wireless Network Gossip Protocols
inferred← citeshttps://doi.org/10.23638/lmcs-17(1:1)2021openalex-snapshot
Axiomatizing Maximal Progress and Discrete Time
inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot
Quantitative and Qualitative Extensions of Event Structures
inferred← citeshttps://doi.org/10.3990/1.9789090074610openalex-snapshot
Architectural notes: a framework for distributed systems development
inferred← citeshttps://doi.org/10.4018/978-1-4666-0264-9.ch012openalex-snapshot
Design and Implementation of an Autonomic Code Generator Based on RTPA
inferred← citeshttps://doi.org/10.4018/978-1-60566-902-1.ch011openalex-snapshot
A Denotational Semantics of Real-Time Process Algebra (RTPA)
inferred← citeshttps://doi.org/10.4018/978-1-61350-104-7.ch014openalex-snapshot
An Integrated Framework for Web Services Orchestration
inferred← citeshttps://doi.org/10.4018/jcini.2007100104openalex-snapshot
A Formal Specification of the Memorization Process
inferred← citeshttps://doi.org/10.4018/jcini.2008070106openalex-snapshot
An Operational Semantics of Real-Time Process Algebra (RTPA)
inferred← citeshttps://doi.org/10.4018/jssci.2010040103openalex-snapshot
Design and Implementation of an Autonomic Code Generator Based on RTPA
inferred← citeshttps://doi.org/10.4018/jwsr.2009071301openalex-snapshot
An Integrated Framework for Web Services Orchestration
inferred← citeshttps://doi.org/10.4204/eptcs.25.19openalex-snapshot
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
showing the first 200 of 208 · page through all 208
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.