On the public citation graph
Towards a formal foundation of the specification and description language SDL
0 signed · 73 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-10007-5_47openalex-snapshot
On the semantics of fair parallelism
inferredcites →https://doi.org/10.1007/3-540-12920-0_15openalex-snapshot
Denotational semantics of concurrent programs with shared memory
inferredcites →https://doi.org/10.1007/978-3-642-74884-4_10openalex-snapshot
Towards a Design Methodology for Distributed Systems
inferredcites →https://doi.org/10.1007/bf01786252openalex-snapshot
Semantics of finite and infinite networks of concurrent communicating agents
inferredcites →https://doi.org/10.1007/bfb0022474openalex-snapshot
Petri nets, event structures and domains
inferredcites →https://doi.org/10.1007/bfb0030293openalex-snapshot
Traces, histories, graphs: Instances of a process monoid
inferredcites →https://doi.org/10.1007/bfb0036937openalex-snapshot
Specification-oriented semantics for communicating processes
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/0169-7552(87)90083-3openalex-snapshot
Formal protocol specification and conformance testing: Four tutorial papers
inferredcites →https://doi.org/10.1016/0169-7552(87)90084-5openalex-snapshot
An introduction to Estelle: A specification language for distributed systems
inferredcites →https://doi.org/10.1016/0304-3975(81)90112-2openalex-snapshot
Petri nets, event structures and domains, part I
inferredcites →https://doi.org/10.1016/0304-3975(86)90040-xopenalex-snapshot
A theory for nondeterminism, parallelism, communication, and concurrency
inferredcites →https://doi.org/10.1016/s0019-9958(84)80048-0openalex-snapshot
Semantics of communicating processes
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/1-4020-3532-2_2openalex-snapshot
Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures
inferred← citeshttps://doi.org/10.1007/3-540-34129-3_1openalex-snapshot
Innovation in Engineering Software Intensive Systems
inferred← citeshttps://doi.org/10.1007/3-540-44518-8_14openalex-snapshot
On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_5openalex-snapshot
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_19openalex-snapshot
If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_3openalex-snapshot
Mathematics of software engineering
inferred← citeshttps://doi.org/10.1007/978-0-387-21798-7_10openalex-snapshot
Object-oriented programming and software development—a critical assessment
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_26openalex-snapshot
An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_28openalex-snapshot
Four Issues Concerning the Semantics of Message Flow Graphs
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_6openalex-snapshot
Formal description techniques - how formal and descriptive are they?
inferred← citeshttps://doi.org/10.1007/978-1-4020-8052-4_1openalex-snapshot
Modular Hierarchies of Models for Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-3220-0_7openalex-snapshot
CSP, Formal Software Engineering and the Development of Fault-Tolerant Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-00966-7_2openalex-snapshot
On the Role of Logic and Algebra in Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-322-90879-7_5openalex-snapshot
Konventionelle Beschreibungsmittel
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_23openalex-snapshot
The Impact of Models in Software Development
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_4openalex-snapshot
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-39993-3_6openalex-snapshot
Distributed Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_14openalex-snapshot
Multi-view Modeling of Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-56985-2_3openalex-snapshot
Die ITU-T-Spezifikationssprache SDL und die ISO-Netzprogrammiersprache ASN.1
inferred← citeshttps://doi.org/10.1007/978-3-642-61012-7_13openalex-snapshot
Mathematik des Software-Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-97946-0_3openalex-snapshot
Die ITU-T-Spezifikationssprache SDL (Specification and Description Language)
inferred← citeshttps://doi.org/10.1007/bf02998724openalex-snapshot
Software engineering for telecommunications : bringing research results into industrial practice
inferred← citeshttps://doi.org/10.1007/bfb0015250openalex-snapshot
Mathematical system models as a basis of software engineering
inferred← citeshttps://doi.org/10.1007/bfb0039721openalex-snapshot
REAL92: A combined specification language for real-time concurrent systems and properties
inferred← citeshttps://doi.org/10.1007/s002870100209openalex-snapshot
Objektorientierte Programmierung und SoftwareentwicklungEine kritische Einschätzung
inferred← citeshttps://doi.org/10.1007/s11334-006-0011-yopenalex-snapshot
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones
inferred← citeshttps://doi.org/10.1007/s11859-009-0210-0openalex-snapshot
Recursive decomposition of software process
inferred← citeshttps://doi.org/10.1007/s12008-014-0258-8openalex-snapshot
Innovation and creativity in process control and manufacturing
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50036-9openalex-snapshot
Discrete Time Process Algebra and the Semantics of SDL
inferred← citeshttps://doi.org/10.1016/j.scico.2004.04.003openalex-snapshot
A semantic and methodological essence of message sequence charts
inferred← citeshttps://doi.org/10.1016/s0169-7552(96)00016-5openalex-snapshot
TTCN: Towards a formal semantics and validation of test suites
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00074-3openalex-snapshot
A fast algorithm for selective refinement of terrain meshes
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00132-3openalex-snapshot
Formal methods for broadband and multimedia systems
inferred← citeshttps://doi.org/10.1016/s1389-1286(03)00247-0openalex-snapshot
The formal semantics of SDL-2000: Status and perspectives
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82554-xopenalex-snapshot
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol
inferred← citeshttps://doi.org/10.1023/a:1008717317533openalex-snapshot
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
inferred← citeshttps://doi.org/10.1109/32.895987openalex-snapshot
Toward a mathematical foundation of software engineering methods
inferred← citeshttps://doi.org/10.1109/apsec.1997.640163openalex-snapshot
Denotational semantics for JSD
inferred← citeshttps://doi.org/10.1109/emrts.2001.934013openalex-snapshot
MSC/sup +/: From requirement to prototyped systems
inferred← citeshttps://doi.org/10.1109/icc.2010.5502385openalex-snapshot
Towards a Social Network Based Approach for Services Composition
inferred← citeshttps://doi.org/10.1109/iceccs.2004.1310898openalex-snapshot
Architecture driven modelling in software development
inferred← citeshttps://doi.org/10.1109/memcod.2003.1210103openalex-snapshot
Modular hierarchies of models for embedded systems
inferred← citeshttps://doi.org/10.1109/ngi.2011.5985949openalex-snapshot
A building block interaction model for flexible future Internet architectures
inferred← citeshttps://doi.org/10.1109/qsic.2003.1319098openalex-snapshot
Testing decomposition of component specifications based on a rule for formal verification
inferred← citeshttps://doi.org/10.1145/253228.253813openalex-snapshot
Formal methods for broadband and multimedia systems (tutorial)
inferred← citeshttps://doi.org/10.1145/317636.317908openalex-snapshot
Verification of Erlang programs using abstract interpretation and model checking
inferred← citeshttps://doi.org/10.13140/rg.2.2.21487.02723openalex-snapshot
Development of a Distributed Min/Max Component *
inferred← citeshttps://doi.org/10.3390/fi15020059openalex-snapshot
From Service Composition to Mashup Editor: A Multiperspective Taxonomy
inferred← citeshttps://doi.org/10.4018/978-1-4666-4623-0openalex-snapshot
Emerging Research and Trends in Interactivity and the Human-Computer Interface
inferred← citeshttps://doi.org/10.48550/arxiv.1409.7232openalex-snapshot
Feature Specification and Refinement with State Transition Diagrams
inferred← citeshttps://doi.org/10.5555/823453.823849openalex-snapshot
Modular hierarchies of models for embedded 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.