On the public citation graph
Syntactic detection of process divergence and non-local choice in message sequence charts
0 signed · 124 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-61042-1_37openalex-snapshot
An analyzer for message sequence charts
inferredcites →https://doi.org/10.1016/0967-0661(93)90235-jopenalex-snapshot
Object-oriented software engineering. A use case driven approach
inferredcites →https://doi.org/10.1090/dimacs/032/06openalex-snapshot
Implementing and verifying MSC specifications using PROMELA/XSPIN
inferredcites →https://doi.org/10.1093/comjnl/37.4.269openalex-snapshot
An Algebraic Semantics of Basic Message Sequence Charts
inferredcites →https://doi.org/10.1109/12.88473openalex-snapshot
SDE: incremental specification and development of communications software
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119036821.ch17openalex-snapshot
A Petri Net Solution to Protocol‐Level Mismatches in Service Composition
inferred← citeshttps://doi.org/10.1007/1-4020-3675-2_20openalex-snapshot
Analysis and Re-Engineering of Web Services
inferred← citeshttps://doi.org/10.1007/11495628_10openalex-snapshot
Lightweight Formal Methods for Scenario-Based Software Engineering
inferred← citeshttps://doi.org/10.1007/11495628_3openalex-snapshot
Deciding Properties of Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/11569596_97openalex-snapshot
Recovering the Lattice of Repetitive Sub-functions
inferred← citeshttps://doi.org/10.1007/11575467_14openalex-snapshot
Race Conditions in Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/11691372_32openalex-snapshot
MSCan – A Tool for Analyzing MSC Specifications
inferred← citeshttps://doi.org/10.1007/11784180_20openalex-snapshot
Realizability Criteria for Compositional MSC
inferred← citeshttps://doi.org/10.1007/11951148_6openalex-snapshot
Timed High-Level Message Sequence Charts for Real-Time System Design
inferred← citeshttps://doi.org/10.1007/3-540-36135-9_8openalex-snapshot
Formal Test Purposes and the Validity of Test Cases
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_26openalex-snapshot
Detecting Implied Scenarios Analyzing Non-local Branching Choices
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-45022-x_57openalex-snapshot
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
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-45694-5_13openalex-snapshot
Safe Realizability of High-Level Message Sequence Charts*
inferred← citeshttps://doi.org/10.1007/3-540-48213-x_22openalex-snapshot
Some Pathological Message Sequence Charts, and How to Detect Them
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-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-35271-8_5openalex-snapshot
A Hierarchy of Communication Models for Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_6openalex-snapshot
Timing Constraints in Message Sequence Chart Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-01042-3_8openalex-snapshot
Realizability of Service Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-30690-8_2openalex-snapshot
Deriving Distributed Design Models from Global State Machines Requirements
inferred← citeshttps://doi.org/10.1007/978-3-030-50029-0_2openalex-snapshot
Choreographic Development of Message-Passing Applications
inferred← citeshttps://doi.org/10.1007/978-3-032-11176-0_22openalex-snapshot
Pomsets for Process Management: A Healthcare Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-13590-8_10openalex-snapshot
On the Usage of Network Visualization for Multiagent System Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-45547-1_21openalex-snapshot
Correct-by-Construction Evolution of Realisable Conversation Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_14openalex-snapshot
Formal Composition of Distributed Scenarios
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-31810-1_17openalex-snapshot
Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control
inferred← citeshttps://doi.org/10.1007/978-3-540-31980-1_28openalex-snapshot
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_21openalex-snapshot
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_3openalex-snapshot
Analyzing Web Service Based Business Processes
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-71209-1_32openalex-snapshot
Detecting Races in Ensembles of Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_3openalex-snapshot
Recovering Repetitive Sub-functions from Observations
inferred← citeshttps://doi.org/10.1007/978-3-540-75596-8_27openalex-snapshot
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_22openalex-snapshot
Strong Safe Realizability of Message Sequence Chart Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-04554-7_12openalex-snapshot
Automatic Generation of Compatible Interfaces from Partitioned UML Activities
inferred← citeshttps://doi.org/10.1007/978-3-642-13464-7_6openalex-snapshot
Testing Probabilistic Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20712-9_25openalex-snapshot
Shared-Memory Systems and Charts
inferred← citeshttps://doi.org/10.1007/978-3-642-22386-0_8openalex-snapshot
SMA—The Smyle Modeling Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-25264-8_10openalex-snapshot
Towards a Model Based Approach for Integration Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-36046-6_12openalex-snapshot
Controllable-Choice Message Sequence Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_14openalex-snapshot
Scenario Realizability with Constraint Optimization
inferred← citeshttps://doi.org/10.1007/bfb0053553openalex-snapshot
Deciding properties for message sequence charts
inferred← citeshttps://doi.org/10.1007/bfb0054168openalex-snapshot
Mesa: Support for scenario-based design of concurrent systems
inferred← citeshttps://doi.org/10.1007/s00165-012-0244-5openalex-snapshot
Using schedulers to test probabilistic distributed systems
inferred← citeshttps://doi.org/10.1007/s10270-011-0216-xopenalex-snapshot
On the realizability of collaborative services
inferred← citeshttps://doi.org/10.1007/s10270-013-0357-1openalex-snapshot
Distributed implementation of message sequence charts
inferred← citeshttps://doi.org/10.1007/s10515-007-0017-1openalex-snapshot
Lazy buffer semantics for partial order 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.07.010openalex-snapshot
Scenarios and Covert Channels: Another Game...
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.2004.08.004openalex-snapshot
A theory of regular MSC languages
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.11.007openalex-snapshot
An approach to identifying causes of implied scenarios using unenforceable orders
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.06.010openalex-snapshot
A framework for pathologies of message sequence charts
inferred← citeshttps://doi.org/10.1016/j.jlap.2011.10.001openalex-snapshot
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102535openalex-snapshot
: A tool chain for choreographic design
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.08.002openalex-snapshot
Realizability of high-level message sequence charts: closing the gaps
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.2006.01.014openalex-snapshot
Message-passing automata are expressively equivalent to EMSO logic
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00031-2openalex-snapshot
A service creation environment based on scenarios
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/access.2016.2614325openalex-snapshot
A Petri Net Method for Compatibility Enforcement to Support Service Choreography
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/acsd.2011.31openalex-snapshot
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers
inferred← citeshttps://doi.org/10.1109/acsd.2013.13openalex-snapshot
Checking Partial-Order Properties of Vector Addition Systems with States
inferred← citeshttps://doi.org/10.1109/apsec.2005.93openalex-snapshot
Race-free scenarios of message sequence charts
inferred← citeshttps://doi.org/10.1109/apsec.2007.79openalex-snapshot
Realizability of Collaboration-based Service Specifications
inferred← citeshttps://doi.org/10.1109/ase.2001.989814openalex-snapshot
Shared variables interaction diagrams
inferred← citeshttps://doi.org/10.1109/aspec.2007.71openalex-snapshot
Realizability of Collaboration-based Service Specifications
inferred← citeshttps://doi.org/10.1109/ccece.2005.1557301openalex-snapshot
Formal methods impact on ANSI standard HL7/IM - filling gaps in MSC theory
inferred← citeshttps://doi.org/10.1109/ccece.2013.6567839openalex-snapshot
Detecting a certain kind of emergent behavior in multi agent systems applied on mase methodology
inferred← citeshttps://doi.org/10.1109/iceccs.2008.9openalex-snapshot
Revisiting Safe Realizability of Message Sequence Charts Specifications
inferred← citeshttps://doi.org/10.1109/icse.2000.870421openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1109/icws.2011.68openalex-snapshot
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems
inferred← citeshttps://doi.org/10.1109/ines.2013.6632796openalex-snapshot
Detection and verification of a new type of emergent behavior in multiagent systems
inferred← citeshttps://doi.org/10.1109/notere.2011.5957984openalex-snapshot
An Experiment in Automatic Generation of Protocols from HMSCs
inferred← citeshttps://doi.org/10.1109/sefm.2010.14openalex-snapshot
Non-local Choice and Implied Scenarios
inferred← citeshttps://doi.org/10.1109/sose.2019.00020openalex-snapshot
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition
inferred← citeshttps://doi.org/10.1109/tse.2003.1214326openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1109/tse.2005.104openalex-snapshot
Resolving race conditions in asynchronous partial order scenarios
inferred← citeshttps://doi.org/10.1109/tse.2008.28openalex-snapshot
Characterizing Communication Channel Deadlocks in Sequence Diagrams
inferred← citeshttps://doi.org/10.1109/tsmca.2009.2037018openalex-snapshot
A Petri Net Approach to Analysis and Composition of Web Services
inferred← citeshttps://doi.org/10.1142/s0129054110007210openalex-snapshot
QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN 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/337180.337215openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1145/3384544.3384550openalex-snapshot
Mixed Initiative Realizability Problem Resolution Using UML Composite States
inferred← citeshttps://doi.org/10.1145/587051.587069openalex-snapshot
Negative scenarios for implied scenario elicitation
inferred← citeshttps://doi.org/10.1145/605466.605484openalex-snapshot
Negative scenarios for implied scenario elicitation
inferred← citeshttps://doi.org/10.14393/ufu.te.2016.18openalex-snapshot
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais
inferred← citeshttps://doi.org/10.18293/seke2018-195openalex-snapshot
A Hybrid System for Detection of Implied Scenarios in Distributed Software Systems (S)
inferred← citeshttps://doi.org/10.20381/ruor-26305openalex-snapshot
Deriving Distributed Design Models from Global Requirements Models
inferred← citeshttps://doi.org/10.3182/20070927-4-ro-3905.00033openalex-snapshot
PROBLEMS AND SOLUTIONS FOR INTEROPERABILITY OF MEDICAL DEVICES
inferred← citeshttps://doi.org/10.4018/978-1-4666-1942-5.ch003openalex-snapshot
Protocol-Level Service Composition Mismatches
inferred← citeshttps://doi.org/10.4018/jwsr.2010100101openalex-snapshot
Protocol-Level Service Composition Mismatches
inferred← citeshttps://doi.org/10.4204/eptcs.279.6openalex-snapshot
Realisability of Pomsets via Communicating Automata
inferred← citeshttps://doi.org/10.4204/eptcs.370.13openalex-snapshot
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types
inferred← citeshttps://doi.org/10.4230/dagsemproc.07061.5openalex-snapshot
Towards Analyzing Declarative Workflows
inferred← citeshttps://doi.org/10.5555/381473.381494openalex-snapshot
A workbench for synthesising behaviour models from scenarios
inferred← citeshttps://doi.org/10.6100/ir612838openalex-snapshot
Constructive formal methods and protocol standardization
inferred← citeshttps://doi.org/10.70675/a35f4dcez62f5z4681z9e2dzbed4a429efe9openalex-snapshot
Implementability of distributed systems described with scenarios
inferred← citeshttps://doi.org/10.70675/c3eebce1z831bz424ezb37bzafd8c00bc9fcopenalex-snapshot
Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels
inferred← citeshttps://doi.org/10.7146/brics.v6i52.20122openalex-snapshot
Towards a Theory of Regular MSC Languages
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.