On the public citation graph
Labelled transition logic: an outline
0 signed · 47 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-15198-2_2openalex-snapshot
Specification and top down design of distributed systems
inferredcites →https://doi.org/10.1007/3-540-15198-2_22openalex-snapshot
On the parameterized algebraic specification of concurrent systems
inferredcites →https://doi.org/10.1007/3-540-16047-7_44openalex-snapshot
On the specification of the firing squad problem
inferredcites →https://doi.org/10.1007/3-540-17660-8_55openalex-snapshot
SMoLCS-driven concurrent calculi
inferredcites →https://doi.org/10.1007/3-540-46428-x_10openalex-snapshot
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
inferredcites →https://doi.org/10.1007/3-540-53479-2_1openalex-snapshot
Processes as data types: Observational semantics and logic
inferredcites →https://doi.org/10.1007/3-540-54496-8_13openalex-snapshot
Entities: An institution for dynamic systems
inferredcites →https://doi.org/10.1007/3-540-56379-2_46openalex-snapshot
Event logic for specifying abstract dynamic data types
inferredcites →https://doi.org/10.1007/3-540-61629-2_42openalex-snapshot
Deontic concepts in the algebraic specification of dynamic systems: The permission case
inferredcites →https://doi.org/10.1007/978-1-4471-3227-1_20openalex-snapshot
Algebraic-Oriented Institutions
inferredcites →https://doi.org/10.1007/978-3-642-59851-7_13openalex-snapshot
Algebraic Specification of Concurrent Systems
inferredcites →https://doi.org/10.1007/bf01213078openalex-snapshot
Compositional refinements in multiple blackboard systems
inferredcites →https://doi.org/10.1007/bfb0013836openalex-snapshot
Implementation of a toolset for prototyping algebraic specifications of concurrent systems
inferredcites →https://doi.org/10.1007/bfb0015037openalex-snapshot
An integrated algebraic approach to the specification of data types, processes and objects
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0024427openalex-snapshot
A dynamic specification of the RPC-memory problem
inferredcites →https://doi.org/10.1007/bfb0024642openalex-snapshot
A metalanguage for the formal requirement specification of reactive systems
inferredcites →https://doi.org/10.1007/bfb0035846openalex-snapshot
Generalized bisimulation in relational specifications
inferredcites →https://doi.org/10.1016/0020-0190(87)90227-4openalex-snapshot
Predicative specifications for functional programs describing communicating networks
inferredcites →https://doi.org/10.1016/0304-3975(91)90203-eopenalex-snapshot
Petri nets and algebraic specifications
inferredcites →https://doi.org/10.1016/0304-3975(92)90186-jopenalex-snapshot
Observational structures and their logic
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1016/s0304-3975(82)80001-7openalex-snapshot
Algebraic implementation of abstract data types
inferredcites →https://doi.org/10.1016/s0304-3975(96)00165-xopenalex-snapshot
Specification of abstract dynamic-data types: A temporal logic approach
inferredcites →https://doi.org/10.1017/s0960129500000736openalex-snapshot
D-oids: a model for dynamic data-types
inferredcites →https://doi.org/10.1017/s0960129597002466openalex-snapshot
Very abstract specifications: a formalism independent approach
inferredcites →https://doi.org/10.1109/iwssd.1993.315506openalex-snapshot
Specifying reactive systems by abstract events
inferredcites →https://doi.org/10.1145/3304133.3304153openalex-snapshot
An operational semantics of multitasking and exception handling in Ada
inferredcites →https://doi.org/10.1147/rd.315.0512openalex-snapshot
Direct semantics of concurrent languages in the SMoLCS approach
inferredcites →https://doi.org/10.7146/brics.v4i48.19269openalex-snapshot
CoFI: The Common Framework Initiative for Algebraic Specification and Development
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118602638.ch2openalex-snapshot
Introduction to Formal Models
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_21openalex-snapshot
Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML
inferred← citeshttps://doi.org/10.1007/978-1-84882-736-3_3openalex-snapshot
The Abstract State Machines Method for High-Level System Design and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-24721-0_18openalex-snapshot
Improving Use Case Based Requirements Using Formally Grounded Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_10openalex-snapshot
From Conditional Specifications to Interaction Charts
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_9openalex-snapshot
From Formal Techniques to Well-Founded Software Development Methods
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.09.003openalex-snapshot
A formally grounded software specification method
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00357-7openalex-snapshot
Rewriting logic: roadmap and bibliography
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236212openalex-snapshot
Towards a well-founded UML-based development method
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.