941 search results - page 9 / 189 » Mathematics on the (Semantic) NET |
LISP
2000
13 years 9 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
LREC
2008
13 years 11 months ago
2008
GermaNet is regarded to be a valuable resource for many German NLP applications, corpus research, and teaching. This demo presents three GUI-based tools meant to facilitate the ex...
WSC
2007
14 years 4 days ago
2007
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
GG
2008
Springer
13 years 11 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
LICS
1997
IEEE
14 years 2 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...