Add to ORKGAction notation is used in the action semantics fratnework, for specifying actions representing program behaviour. It is defined by a structural operational semantics together with a bisimulation-based equivalence that satisfies some simple algebraic laws
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
1 Introduction Operational semantics has played a useful role in computer science since the very inc...
The recently-developed framework of Unified Algebras is intended for axiomatic specification of abst...
Formal semantics is a topic of major importance in the study of programming languages. Its applicat...
Action semantics is a framework for semantic description of prograrnming languages. In this framewo...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
Action Semantics is a framework for the formal descriptionof programming languages. Its main advanta...
This paper is a themed account of the action semantics project, which Peter Mosses has led since the...
Modularity is an important pragmatic aspect of semanticdescriptions: good modularity is needed to al...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
Action Semantics is a framework for the formal specification of programming languages. Two different...
Action semantics is a semantic description framework with very goodpragmatic properties but until no...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
This paper is a themed account of the action semantics project, which Peter Mosses has led since the...
A variation of the Communicative Action Notation is presented, in order to allow the sharing of sto...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
1 Introduction Operational semantics has played a useful role in computer science since the very inc...
The recently-developed framework of Unified Algebras is intended for axiomatic specification of abst...
Formal semantics is a topic of major importance in the study of programming languages. Its applicat...
Action semantics is a framework for semantic description of prograrnming languages. In this framewo...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
Action Semantics is a framework for the formal descriptionof programming languages. Its main advanta...
This paper is a themed account of the action semantics project, which Peter Mosses has led since the...
Modularity is an important pragmatic aspect of semanticdescriptions: good modularity is needed to al...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
Action Semantics is a framework for the formal specification of programming languages. Two different...
Action semantics is a semantic description framework with very goodpragmatic properties but until no...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
This paper is a themed account of the action semantics project, which Peter Mosses has led since the...
A variation of the Communicative Action Notation is presented, in order to allow the sharing of sto...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
1 Introduction Operational semantics has played a useful role in computer science since the very inc...
The recently-developed framework of Unified Algebras is intended for axiomatic specification of abst...