FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
FOSSACS
2004
Springer
14 years 6 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer
The ‚Nietzsche-Thesaurus’ ist part of an Internet-Portal to the German philosopher Friedrich Nietzsche (under construction). By using the complex Index of a Citation Lexicon (...