The algebra of synchronous processes

von Weijland, W. P.
Veröffentlicht 1988

Semantics for logic programs without occur check

von Weijland, W. P.
Veröffentlicht 1987

Synchrony with empty process

von Weijland, W. P.
Veröffentlicht 1988

Correctness proofs for systolic algorithms : a palindrome recognizer

von Weijland, W. P.
Veröffentlicht 1987

Bericht van Patmos

von Bouma, Hans
Veröffentlicht 1977

Verification of a systolic algorithm for string comparison

von Kossen, L.
Veröffentlicht 1987

Verification of an algorithm for log-time sorting by square comparison

von Mulder, J. C.
Veröffentlicht 1987

Branching time and abstraction in bisimulation semantics

von Glabbeck, R. J. van
Veröffentlicht in IFIP World Computer Congress <11, 1989, San Francisco, Ca> (1989)

Process algebra

von Baeten, Josephus C. M.
Veröffentlicht 1990

Refinement in branching time semantics

von Glabbeck, R. J. van
Veröffentlicht in AMAST <1989, Iowa> (1989)

Process algebra

von Baeten, Josephus C. M.
Veröffentlicht 1990

Semantics for prolog via term rewrite systems

von Baeten, J. C. M.
Veröffentlicht 1987