A Compositional Approach to Statecharts Semantics

ACM SIGSOFT Software Engineering Notes
doi 10.1145/357474.355062
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Syntactics, Cognition and Compositional Semantics

Russian Journal of Linguistics
2019English

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Compositional Semantics for Multiple Focus Constructions

1992English

A Compositional Semantics of Temporal Expressions in English

1987English

Compositional Semantics and the Lemma Dilemma

Behavioral and Brain Sciences
PhysiologyPhysiological PsychologyNeuropsychologyBehavioral Neuroscience
1999English

Alignment-Based Compositional Semantics for Instruction Following

2015English

A Concurrent and Compositional Petri Net Semantics of Preemption

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Rewriting Logic Approach to Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

A Syntax-Directed Approach to Picture Semantics

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy