On the public citation graph

Duration Calculus of Weakly Monotonic Time

https://doi.org/10.1007/bfb0055336
0 signed · 38 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-55719-9_103openalex-snapshot
What good are digital clocks?
inferredcites →https://doi.org/10.1007/978-3-540-49382-2_23openalex-snapshot
Recursive Mean-Value Calculus
inferredcites →https://doi.org/10.1007/bfb0031988openalex-snapshot
Logics and models of real time: A survey
inferredcites →https://doi.org/10.1007/bfb0055355openalex-snapshot
Towards a formal semantics of verilog using duration calculus
inferredcites →https://doi.org/10.1016/0020-0190(91)90122-xopenalex-snapshot
A calculus of durations
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/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
inferredcites →https://doi.org/10.1016/0304-3975(94)00145-9openalex-snapshot
Finite divergence
inferredcites →https://doi.org/10.1016/0304-3975(94)00169-jopenalex-snapshot
A brief history of Timed CSP

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-40911-4_3openalex-snapshot
Linking DC Together with TRSL
inferred← citeshttps://doi.org/10.1007/3-540-44798-9_7openalex-snapshot
Deriving Real-Time Programs from Duration Calculus Specifications
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_17openalex-snapshot
Real-Time Logic Revisited
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_4openalex-snapshot
An operational semantics for timed RAISE
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_22openalex-snapshot
Compositional Reasoning Using the Assumption-Commitment Paradigm
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_1openalex-snapshot
Duration Calculus, a Logical Approach to Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35358-6_28openalex-snapshot
A Combination of Interval Logic and Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-1-4020-6254-4_6openalex-snapshot
All Those Duration Calculi: An Integrated Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_3openalex-snapshot
Super-Dense Computation in Verification of Hybrid CSP Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-69483-2_7openalex-snapshot
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_2openalex-snapshot
Integrating Variants of DC
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_33openalex-snapshot
A Calculus for Shapes in Time and Space
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_6openalex-snapshot
Real-Time Systems Development with Duration Calculi: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-540-45069-6_17openalex-snapshot
Digitizing Interval Duration Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-49382-2_23openalex-snapshot
Recursive Mean-Value Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-74107-7_6openalex-snapshot
Duration Calculus
inferred← citeshttps://doi.org/10.1007/bfb0055355openalex-snapshot
Towards a formal semantics of verilog using duration calculus
inferred← citeshttps://doi.org/10.1007/s00446-011-0148-2openalex-snapshot
A study on shuffle, stopwatches and independently evolving clocks
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.088openalex-snapshot
On Verification of Linear Occurrence Properties of Real-Time Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.06.004openalex-snapshot
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
inferred← citeshttps://doi.org/10.1016/j.ic.2006.08.005openalex-snapshot
Axiomatisation and decidability of multi-dimensional Duration Calculus
inferred← citeshttps://doi.org/10.1016/j.scico.2012.07.010openalex-snapshot
Linking Unifying Theories of Program refinement
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.01.017openalex-snapshot
On the completeness and decidability of duration calculus with iteration
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44893-2openalex-snapshot
A Superdense Duration Semantics for Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80472-9openalex-snapshot
Prefix and Projection onto State in Duration Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80480-8openalex-snapshot
Interval Duration Logic
inferred← citeshttps://doi.org/10.1109/time.2009.21openalex-snapshot
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL
inferred← citeshttps://doi.org/10.2168/lmcs-3(3:3)2007openalex-snapshot
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
inferred← citeshttps://doi.org/10.3233/fi-1998-36236openalex-snapshot
Truth of Duration Calculus Formulae in Timed Frames
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.