On the public citation graph

LOTOS extended with probabilistic behaviours

https://doi.org/10.1007/bf01211557
0 signed · 34 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-52148-8_25openalex-snapshot
State exploration by transformation with lola
inferredcites →https://doi.org/10.1007/bfb0015727openalex-snapshot
Linear and branching structures in the semantics and logics of reactive systems
inferredcites →https://doi.org/10.1007/bfb0039056openalex-snapshot
Testing equivalences and fully abstract models for probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0039077openalex-snapshot
Priority as extremal probability
inferredcites →https://doi.org/10.1007/bfb0039078openalex-snapshot
A synchronous calculus of relative frequency
inferredcites →https://doi.org/10.1016/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1016/0169-7552(93)90049-aopenalex-snapshot
A LOTOS based performance evaluation tool
inferredcites →https://doi.org/10.1016/0304-3975(84)90113-0openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1016/0304-3975(85)90088-xopenalex-snapshot
Algebra of communicating processes with abstraction
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://doi.org/10.1016/b978-0-444-89874-6.50018-0openalex-snapshot
Development of Satellite Communication Networks based on LOTOS
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1115/1.3269815openalex-snapshot
Probability, Random Variables and Stochastic Processes (2nd Edition)
inferredcites →https://doi.org/10.1145/3318.3322openalex-snapshot
CIRCAL and the representation of communication, concurrency, and time
inferredcites →https://doi.org/10.1145/75277.75307openalex-snapshot
Bisimulation through probabilistic testing (preliminary report)
inferredcites →https://doi.org/10.7916/d84f1zvxopenalex-snapshot
Algebraic Specification-Based Performance Analysis or Communication Protocols

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-44667-2_11openalex-snapshot
General Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/978-0-387-34945-9_27openalex-snapshot
Testing Semantics for Probabilistic LOTOS
inferred← citeshttps://doi.org/10.1007/978-3-031-20872-0_8openalex-snapshot
Embeddings Between State and Action Based Probabilistic Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-35355-0_8openalex-snapshot
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-85165-0_19openalex-snapshot
Extended LOTOS
inferred← citeshttps://doi.org/10.1007/978-3-642-85165-0_21openalex-snapshot
Assessment of Extended LOTOS
inferred← citeshttps://doi.org/10.1016/0169-7552(93)90049-aopenalex-snapshot
A LOTOS based performance evaluation tool
inferred← citeshttps://doi.org/10.1016/b978-0-444-89874-6.50018-0openalex-snapshot
Development of Satellite Communication Networks based on LOTOS
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.1145/3412841.3442048openalex-snapshot
Embeddings between state and action labeled probabilistic systems
inferred← citeshttps://doi.org/10.1145/3696431openalex-snapshot
Embeddings Between State and Action Based Probabilistic Logics
inferred← citeshttps://doi.org/10.3233/fi-1995-2442openalex-snapshot
PERFORMANCE EVALUATION OF SYSTEMS DEFINED IN SPECIFICATION LANGUAGE ESTELLE
inferred← citeshttps://doi.org/10.3233/fi-1997-291204openalex-snapshot
SYNTAX AND SEMANTICS OF REAL-TIME AND PERFORMANCE EVALUATION EXTENSIONS OF SPECIFICATION LANGUAGE LOTOS
inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot
Quantitative and Qualitative Extensions of Event Structures
inferred← citeshttps://doi.org/10.6100/ir552381openalex-snapshot
Formal specification and analysis of industrial systems
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.