On the public citation graph

Compositional verification of a distributed real-time arbitration protocol

https://doi.org/10.1007/bf01088595
0 signed · 30 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-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_27openalex-snapshot
A compositional approach to the design of hybrid systems
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0031984openalex-snapshot
Real-Time: Theory in Practice
inferredcites →https://doi.org/10.1007/bfb0032010openalex-snapshot
Putting time into proof outlines
inferredcites →https://doi.org/10.1016/0020-0190(91)90122-xopenalex-snapshot
A calculus of durations
inferredcites →https://doi.org/10.1109/emwrt.1992.637476openalex-snapshot
A compositional method for the top-down design of real-time systems
inferredcites →https://doi.org/10.1109/lics.1990.113765openalex-snapshot
Explicit clock temporal logic
inferredcites →https://doi.org/10.1109/tse.1981.231111openalex-snapshot
Real-Time Behavior of 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/3-540-49057-4_12openalex-snapshot
Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_13openalex-snapshot
Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_158openalex-snapshot
Correctness of real time systems by construction
inferred← citeshttps://doi.org/10.1007/3-540-60692-0_43openalex-snapshot
Verifying part of the ACCESS.bus protocol using PVS
inferred← citeshttps://doi.org/10.1007/978-1-4419-6984-2_11openalex-snapshot
A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_18openalex-snapshot
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_9openalex-snapshot
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1743-4_15openalex-snapshot
A Formal Analysis of Pro-Activeness and Reactiveness in Cooperative Information Gathering
inferred← citeshttps://doi.org/10.1007/bf01213604openalex-snapshot
Extending hoare logic to real-time
inferred← citeshttps://doi.org/10.1007/bfb0000476openalex-snapshot
Verification of distributed real-time and fault-tolerant protocols
inferred← citeshttps://doi.org/10.1016/j.mcm.2009.06.001openalex-snapshot
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections
inferred← citeshttps://doi.org/10.1016/s0169-023x(01)00058-1openalex-snapshot
Principles of component-based design of intelligent agents
inferred← citeshttps://doi.org/10.1016/s1383-7621(96)00036-7openalex-snapshot
Integrating methods for the design of real-time systems
inferred← citeshttps://doi.org/10.1023/a:1017588004618openalex-snapshot
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
inferred← citeshttps://doi.org/10.1023/b:apin.0000013334.33853.0copenalex-snapshot
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514317openalex-snapshot
An integrated technique for developing real-time systems
inferred← citeshttps://doi.org/10.1109/icmas.1998.699031openalex-snapshot
Compositional design and verification of a multi-agent system for one-to-many negotiation
inferred← citeshttps://doi.org/10.1109/real.1993.393488openalex-snapshot
Specification and verification of a distributed real-time arbitration protocol
inferred← citeshttps://doi.org/10.1142/s0218843002000480openalex-snapshot
COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS
inferred← citeshttps://doi.org/10.1504/ijaose.2010.032801openalex-snapshot
Automated analysis of compositional multi-agent systems
inferred← citeshttps://doi.org/10.3176/eng.1998.2.02openalex-snapshot
FORMAL VERIFICATION OF THE BINARY EXPONENTIAL BACKOFF PROTOCOL
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.