Denotational and operational semantics for interaction languages: Application to trace analysis

Graphical depictions of distributed systems' behaviors in the form of Sequence Diagrams (SD) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML-SD. Yet, only restricted subsets of these languages are associated to formal semantics, most of which are given by translati...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 232; s. 103034
Hlavní autoři:	Mahe, Erwan, Gaston, Christophe, Le Gall, Pascale
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.01.2024 Elsevier
Témata:	Computer Science Denotational semantics Formal language Formal Languages and Automata Theory Interactions Operational semantics Sequence diagrams Formal language Interactions Operational semantics Denotational semantics Sequence diagrams
ISSN:	0167-6423, 1872-7964
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!