On the public citation graph
Timed CSP: Theory and Practice.
0 signed · 81 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-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/3-540-53932-8_43openalex-snapshot
Analysing TM FS : A study of nondeterminism in real-time concurrency
inferredcites →https://doi.org/10.1007/3-540-55092-5_9openalex-snapshot
Broadcast communication for real-time processes
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bfb0040255openalex-snapshot
A hierarchy of domains for real-time distributed computing
inferredcites →https://doi.org/10.1145/69575.69577openalex-snapshot
Tentative steps toward a development method for interfering programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11526841_28openalex-snapshot
Synthesis of Distributed Processes from Scenario-Based Specifications
inferred← citeshttps://doi.org/10.1007/11768173_6openalex-snapshot
Constructing Property-Oriented Models for Verification
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_33openalex-snapshot
Semantic Web for Extending and Linking Formalisms
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-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-60973-3_101openalex-snapshot
Experiences in embedded scheduling
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_54openalex-snapshot
Compositionality in real-time shared variable concurrency
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_10openalex-snapshot
Regular processes and timed automata
inferred← citeshttps://doi.org/10.1007/978-0-387-34733-2_5openalex-snapshot
Completing and Adapting Models of Biological Processes
inferred← citeshttps://doi.org/10.1007/978-0-387-34848-3_12openalex-snapshot
Designing with Non-Functional Requirements
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_13openalex-snapshot
Validation, verification and implementation of timed protocols using AORTA
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_20openalex-snapshot
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development
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-4549-1_7openalex-snapshot
Automated Formal Analysis of Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_13openalex-snapshot
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_16openalex-snapshot
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification
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-30482-1_39openalex-snapshot
Timed Patterns: TCOZ to Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_19openalex-snapshot
A Semantic Foundation for TCOZ in Unifying Theories of Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_20openalex-snapshot
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-642-41202-8_13openalex-snapshot
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
inferred← citeshttps://doi.org/10.1007/bfb0026571openalex-snapshot
A formalism for remotely interacting processes
inferred← citeshttps://doi.org/10.1007/bfb0053583openalex-snapshot
Integrating AORTA with model-based data specification languages
inferred← citeshttps://doi.org/10.1007/bfb0053594openalex-snapshot
Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms
inferred← citeshttps://doi.org/10.1007/bfb0098006openalex-snapshot
Verifying end-to-end protocols using induction with CSP/FDR
inferred← citeshttps://doi.org/10.1007/s00165-005-0064-yopenalex-snapshot
A refinement-based process algebra for timed automata
inferred← citeshttps://doi.org/10.1007/s001650050034openalex-snapshot
Probabilistic Duration Calculus for Continuous Time
inferred← citeshttps://doi.org/10.1007/s10462-007-9029-2openalex-snapshot
A requirements-based programming approach to developing a NASA autonomous ground control system
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90045-lopenalex-snapshot
Formal methods for the specification and design of real-time safety critical systems
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.entcs.2008.04.091openalex-snapshot
Reduction Semantics and Formal Analysis of Orc Programs
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.jlap.2008.08.005openalex-snapshot
An algebra of hybrid systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.05.008openalex-snapshot
Specifying termination in CSP
inferred← citeshttps://doi.org/10.1016/s0020-0255(99)00039-0openalex-snapshot
A wide-spectrum language for object-based development of real-time systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00025-3openalex-snapshot
A formal design language for real-time systems with data
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00214-xopenalex-snapshot
The timed failures — Stability model for CSP
inferred← citeshttps://doi.org/10.1016/s0920-5489(02)00066-1openalex-snapshot
Evaluating real-time software specification languages
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00055-xopenalex-snapshot
Implementation and timing analysis of Clock Synchronization on a transputer-based replicated system
inferred← citeshttps://doi.org/10.1023/a:1018942406449openalex-snapshot
ATOM: An object-based formal method for real-time systems
inferred← citeshttps://doi.org/10.1049/ip-sen:20050014openalex-snapshot
Computer-aided dispatch system family architecture and verification: an integrated formal approach
inferred← citeshttps://doi.org/10.1109/49.481699openalex-snapshot
Using timed CSP for specification verification and simulation of multimedia synchronization
inferred← citeshttps://doi.org/10.1109/69.706060openalex-snapshot
Temporal synchronization models for multimedia data
inferred← citeshttps://doi.org/10.1109/cise.2009.5362973openalex-snapshot
A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints
inferred← citeshttps://doi.org/10.1109/cmpsac.1997.625024openalex-snapshot
Formal Methods For The Re-Engineering of Computing Systems
inferred← citeshttps://doi.org/10.1109/csbw.2005.21openalex-snapshot
An Approach to Generating and Verifying Complex Scripts and Procedures
inferred← citeshttps://doi.org/10.1109/eurmic.1999.794803openalex-snapshot
Improved hard acknowledgement deadline protocol in real-time RPC
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.2005.56openalex-snapshot
Integrating Object-Z with Timed Automata
inferred← citeshttps://doi.org/10.1109/icosp.2000.891643openalex-snapshot
Modeling distributed multimedia synchronization with enhanced fuzzy-timing Petri net
inferred← citeshttps://doi.org/10.1109/icws.2004.1314722openalex-snapshot
Describing and reasoning on Web services using process algebra
inferred← citeshttps://doi.org/10.1109/ipdps.2002.1016624openalex-snapshot
Specification of an access control system with a formalism combining CCS and CASL
inferred← citeshttps://doi.org/10.1109/isola.2006.29openalex-snapshot
Context Awareness Systems Design and Reasoning
inferred← citeshttps://doi.org/10.1109/mobilecloud.2014.12openalex-snapshot
Mobile Cloud Computing for Providing Complex Mobile Web Services
inferred← citeshttps://doi.org/10.1109/tase.2014.8openalex-snapshot
Modeling and Verifying the TTCAN Protocol Using Timed CSP
inferred← citeshttps://doi.org/10.1109/wi.2005.59openalex-snapshot
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development
inferred← citeshttps://doi.org/10.1134/s0361768808030018openalex-snapshot
Semantic domains of timed event structures
inferred← citeshttps://doi.org/10.1134/s0361768810030023openalex-snapshot
Unifying behavioral equivalences of timed transition systems
inferred← citeshttps://doi.org/10.1145/1273920.1273938openalex-snapshot
Real-time rewriting semantics of orc
inferred← citeshttps://doi.org/10.1145/295558.295560openalex-snapshot
Composition and refinement of discrete real-time systems
inferred← citeshttps://doi.org/10.17706/jsw.10.3.260-287openalex-snapshot
RESTful-Based Bi-level Distribution Framework for Context-Based Mobile Web Service Provision
inferred← citeshttps://doi.org/10.22024/unikent/01.02.86456openalex-snapshot
Verification of real-time systems: improving tool support
inferred← citeshttps://doi.org/10.22028/d291-25759openalex-snapshot
Formal methods for real-time requirements engineering
inferred← citeshttps://doi.org/10.32657/10356/72377openalex-snapshot
Parallelizing model checking algorithms using multi-core and many-core architectures
inferred← citeshttps://doi.org/10.4018/978-1-4666-0249-6.ch006openalex-snapshot
Discrete Event Models for Web Service Processes
inferred← citeshttps://doi.org/10.48550/arxiv.1002.3330openalex-snapshot
Deriving Relationship Between Semantic Models - An Approach for cCSP
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0406055openalex-snapshot
Web Services: A Process Algebra Approach
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.