5451 search results - page 62 / 1091 » Typed Operational Semantics |
121
click to vote
ESMART
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
109
click to vote
CSL
1989
Springer
15 years 6 months ago
1989
Springer
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
119
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
131
click to vote
AGENTCL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
112
click to vote
ENTCS
2006
15 years 2 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...