5451 search results - page 231 / 1091 » Typed Operational Semantics |
130
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
231
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
116
click to vote
CALCO
2009
Springer
15 years 11 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...
111
click to vote
ISNN
2005
Springer
15 years 10 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...
120
click to vote
AMAST
2004
Springer
15 years 9 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...