BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer