2106 search results - page 142 / 422 » Operational Semantics for DyLPs |
150
click to vote
JLP
2011
14 years 9 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
145
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
137
click to vote
ISNN
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
145
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
209
click to vote
JSW
2008
15 years 6 months ago
2008
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...