2173 search results - page 14 / 435 » An operational semantics for skeletons |
COORDINATION
2004
Springer
14 years 27 days 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...
TLCA
1995
Springer
13 years 11 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
EUSFLAT
2009
13 years 5 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
AGENTCL
2000
Springer
13 years 12 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...