On the public citation graph

Deciding properties for message sequence charts

0 signed · 111 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-61042-1_37openalex-snapshot

An analyzer for message sequence charts

inferredcites →https://doi.org/10.1007/978-3-642-59136-5_10openalex-snapshot

Syntactic Semigroups

inferredcites →https://doi.org/10.1007/978-3-663-09367-1openalex-snapshot

Transductions and Context-Free Languages

inferredcites →https://doi.org/10.1007/bf01379149openalex-snapshot

Modeling concurrency with partial orders

inferredcites →https://doi.org/10.1007/bfb0030632openalex-snapshot

Verification of message sequence charts via template matching

inferredcites →https://doi.org/10.1007/bfb0035393openalex-snapshot

Syntactic detection of process divergence and non-local choice in message sequence charts

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(84)90053-7openalex-snapshot

Partial commutations and faithful rational transductions

inferredcites →https://doi.org/10.1137/0406035openalex-snapshot

Complexity Results for POMSET Languages

inferredcites →https://doi.org/10.1142/2563openalex-snapshot

The Book of Traces

What points at this work

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

inferred← citeshttps://doi.org/10.1002/stv.434openalex-snapshot

Timing analysis of scenario-based specifications using linear programming

inferred← citeshttps://doi.org/10.1002/stvr.434openalex-snapshot

Timing analysis of scenario‐based specifications using linear programming

inferred← citeshttps://doi.org/10.1007/0-306-47003-9_2openalex-snapshot

Stepwise Design with Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/0-306-48738-1_4openalex-snapshot

Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/10722167_22openalex-snapshot

Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods

inferred← citeshttps://doi.org/10.1007/11495628_12openalex-snapshot

Partial Order Semantics of Sequence Diagrams for Mobility

inferred← citeshttps://doi.org/10.1007/11495628_2openalex-snapshot

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach

inferred← citeshttps://doi.org/10.1007/11495628_3openalex-snapshot

Deciding Properties of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/11867340_8openalex-snapshot

Matching Scenarios with Timing Constraints

inferred← citeshttps://doi.org/10.1007/3-540-32923-4_7openalex-snapshot

Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/3-540-36126-x_23openalex-snapshot

Smart Play-out of Behavioral Requirements

inferred← citeshttps://doi.org/10.1007/3-540-36135-9_15openalex-snapshot

Visual Specifications for Modular Reasoning about Asynchronous Systems

inferred← citeshttps://doi.org/10.1007/3-540-44612-5_36openalex-snapshot

Regular Collections of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/3-540-44618-4_37openalex-snapshot

Synthesizing Distributed Finite-State Systems from MSCs

inferred← citeshttps://doi.org/10.1007/3-540-44829-2_10openalex-snapshot

Checking Consistency of SDL+MSC Specifications

inferred← citeshttps://doi.org/10.1007/3-540-45022-x_57openalex-snapshot

On Message Sequence Graphs and Finitely Generated Regular MSC Languages

inferred← citeshttps://doi.org/10.1007/3-540-45075-0_14openalex-snapshot

Refining Timed MSCs

inferred← citeshttps://doi.org/10.1007/3-540-45315-6_22openalex-snapshot

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory

inferred← citeshttps://doi.org/10.1007/3-540-45319-9_34openalex-snapshot

Compositional Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/3-540-45510-8_5openalex-snapshot

HMSCs as Partial Specifications...with PNs as Completions

inferred← citeshttps://doi.org/10.1007/3-540-45931-6_21openalex-snapshot

Bounded MSC Communication

inferred← citeshttps://doi.org/10.1007/3-540-45995-2_31openalex-snapshot

Pattern Matching and Membership for Hierarchical Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/3-540-46432-8_13openalex-snapshot

The State Explosion Problem from Trace to Bisimulation Equivalence

inferred← citeshttps://doi.org/10.1007/3-540-48224-5_65openalex-snapshot

Realizability and Verification of MSC Graphs

inferred← citeshttps://doi.org/10.1007/3-540-48224-5_66openalex-snapshot

Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs

inferred← citeshttps://doi.org/10.1007/3-540-48320-9_10openalex-snapshot

Model Checking of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/3-540-48340-3_8openalex-snapshot

Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces

inferred← citeshttps://doi.org/10.1007/3-540-49019-1_19openalex-snapshot

Matching Specifications for Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-0-387-35533-7_9openalex-snapshot

Specification and Verification of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-1-4020-6254-4_7openalex-snapshot

Adding Time to Scenarios

inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_22openalex-snapshot

Synthesis and Analysis of Petri Nets from Causal Specifications

inferred← citeshttps://doi.org/10.1007/978-3-031-97439-7_11openalex-snapshot

Featured Message Sequence Graphs

inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_25openalex-snapshot

Scenario Matching Problem in Distributed Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_4openalex-snapshot

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs

inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_15openalex-snapshot

Specifying and Verifying Partial Order Properties Using Template MSCs

inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_15openalex-snapshot

Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_9openalex-snapshot

Towards Design Recovery from Observations

inferred← citeshttps://doi.org/10.1007/978-3-540-31980-1_29openalex-snapshot

Temporal Logic for Scenario-Based Specifications

inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_23openalex-snapshot

The Complexity of Live Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_15openalex-snapshot

An Executable Specification Language Based on Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_10openalex-snapshot

Modelling a Railway Crossing with Message Sequence Charts and Petri Nets

inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_21openalex-snapshot

High-Level Message Sequence Charts and Projections

inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_32openalex-snapshot

Detecting Races in Ensembles of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_12openalex-snapshot

Causal Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_13openalex-snapshot

Checking Coverage for Infinite Collections of Timed Scenarios

inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_32openalex-snapshot

Products of Message Sequence Charts

inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_1openalex-snapshot

On Global Types and Multi-party Sessions

inferred← citeshttps://doi.org/10.1007/978-3-642-28332-1_38openalex-snapshot

Canonizable Partial Order Generators

inferred← citeshttps://doi.org/10.1007/978-3-642-45404-2_7openalex-snapshot

Model Checking Combined Fragments of Sequence Diagrams

inferred← citeshttps://doi.org/10.1007/bfb0028776openalex-snapshot

A toolset for message sequence charts

inferred← citeshttps://doi.org/10.1007/s10009-002-0085-2openalex-snapshot

Compositional message sequence charts

inferred← citeshttps://doi.org/10.1007/s10270-013-0357-1openalex-snapshot

Distributed implementation of message sequence charts

inferred← citeshttps://doi.org/10.1007/s10626-013-0158-2openalex-snapshot

Diagnosis from scenarios

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.01.034openalex-snapshot

Enforcing Concurrent Temporal Behaviors

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.017openalex-snapshot

Verification of Scenario-based Specifications using Templates

inferred← citeshttps://doi.org/10.1016/j.ic.2003.10.002openalex-snapshot

Bounded MSC communication

inferred← citeshttps://doi.org/10.1016/j.ic.2004.08.004openalex-snapshot

A theory of regular MSC languages

inferred← citeshttps://doi.org/10.1016/j.ic.2005.11.007openalex-snapshot

Permutation rewriting and algorithmic verification

inferred← citeshttps://doi.org/10.1016/j.jal.2005.12.013openalex-snapshot

The computational complexity of scenario-based agent verification and design

inferred← citeshttps://doi.org/10.1016/j.jnca.2006.08.001openalex-snapshot

Modeling and analysis of value added services using message sequence charts

inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.034openalex-snapshot

Realizability and verification of MSC graphs

inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.013openalex-snapshot

Causal Message Sequence Charts

inferred← citeshttps://doi.org/10.1016/j.tcs.2015.03.030openalex-snapshot

Checking conformance for time-constrained scenario-based specifications

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80484-5openalex-snapshot

Specification and Verification using Message Sequence Charts

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80485-7openalex-snapshot

Implied Scenario Detection in the Presence of Behaviour Constraints

inferred← citeshttps://doi.org/10.1017/s0960129501003589openalex-snapshot

An event structure based semantics for high-level message sequence charts

inferred← citeshttps://doi.org/10.1093/comjnl/bxr125openalex-snapshot

Controllability Problems in MSC-Based Testing

inferred← citeshttps://doi.org/10.1109/acsd.2005.25openalex-snapshot

Message Sequence Charts: A Survey

inferred← citeshttps://doi.org/10.1109/acsd.2005.31openalex-snapshot

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams

inferred← citeshttps://doi.org/10.1109/ase.2001.989814openalex-snapshot

Shared variables interaction diagrams

inferred← citeshttps://doi.org/10.1109/icse.2000.870421openalex-snapshot

Inference of message sequence charts

inferred← citeshttps://doi.org/10.1109/icse.2005.1553581openalex-snapshot

Monitoring and control in scenario-based requirements analysis

inferred← citeshttps://doi.org/10.1109/icst.2011.29openalex-snapshot

Conformance Testing from Message Sequence Charts

inferred← citeshttps://doi.org/10.1109/lics.2001.932515openalex-snapshot

Permutation rewriting and algorithmic verification

inferred← citeshttps://doi.org/10.1109/pesgm.2014.6938863openalex-snapshot

An ISO/IEC 15118 conformance testing system architecture

inferred← citeshttps://doi.org/10.1109/qsic.2004.1357938openalex-snapshot

Smart play-out extended: time and forbidden elements

inferred← citeshttps://doi.org/10.1109/qsic.2004.31openalex-snapshot

Smart play-out extended: time and forbidden elements

inferred← citeshttps://doi.org/10.1109/sefm.2007.3openalex-snapshot

A Thread-tag Based Semantics for Sequence Diagrams

inferred← citeshttps://doi.org/10.1109/time.2001.930723openalex-snapshot

Modelling, specifying, and verifying message passing systems

inferred← citeshttps://doi.org/10.1109/tse.2003.1178048openalex-snapshot

Synthesis of behavioral models from scenarios

inferred← citeshttps://doi.org/10.1109/tse.2003.1214326openalex-snapshot

Inference of message sequence charts

inferred← citeshttps://doi.org/10.1109/wodes.2006.1678447openalex-snapshot

Diagnosis from Scenarios

inferred← citeshttps://doi.org/10.1142/9789814271059_0010openalex-snapshot

The Theory of Message Sequence Charts

inferred← citeshttps://doi.org/10.1145/1005561.1005563openalex-snapshot

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

inferred← citeshttps://doi.org/10.1145/1062455.1062527openalex-snapshot

Monitoring and control in scenario-based requirements analysis

inferred← citeshttps://doi.org/10.1145/1086228.1086276openalex-snapshot

Tag machines

inferred← citeshttps://doi.org/10.1145/1119655.1119662openalex-snapshot

Semantic-based weaving of scenarios

inferred← citeshttps://doi.org/10.1145/2523108openalex-snapshot

Required behavior of sequence diagrams

inferred← citeshttps://doi.org/10.1145/337180.337215openalex-snapshot

Inference of message sequence charts

inferred← citeshttps://doi.org/10.1145/587051.587069openalex-snapshot

Negative scenarios for implied scenario elicitation

inferred← citeshttps://doi.org/10.1145/966137.966138openalex-snapshot

Formal hardware specification languages for protocol compliance verification

inferred← citeshttps://doi.org/10.1360/jos161182openalex-snapshot

Formal Verification of IPv6 Neighbor Discovery Protocol

inferred← citeshttps://doi.org/10.2168/lmcs-8(1:24)2012openalex-snapshot

On Global Types and Multi-Party Session

inferred← citeshttps://doi.org/10.4018/jertcs.2011040101openalex-snapshot

Requirements Traceability within Model-Based Testing

inferred← citeshttps://doi.org/10.48550/arxiv.1003.1160openalex-snapshot

Required Behavior of Sequence Diagrams: Semantics and Conformance

inferred← citeshttps://doi.org/10.48550/arxiv.1009.5341openalex-snapshot

Canonizable Partial Order Generators and Regular Slice Languages

inferred← citeshttps://doi.org/10.5753/sbes.2003.23864openalex-snapshot

Early Verification of Software Behavior in a Time Interval Framework

inferred← citeshttps://doi.org/10.70675/2bf0be31z657dz40cazb025zd8f9b31c3172openalex-snapshot

Communicating automata and quasi-synchronous communications

inferred← citeshttps://doi.org/10.70675/a35f4dcez62f5z4681z9e2dzbed4a429efe9openalex-snapshot

Implementability of distributed systems described with scenarios

inferred← citeshttps://doi.org/10.7146/brics.v6i52.20122openalex-snapshot

Towards a Theory of Regular MSC Languages

inferred← citeshttps://doi.org/10.82444/warw.33642649openalex-snapshot

Theoretical and practical tools for validating discrete and real-time 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.