Centrum Wiskunde & Informatica

The practical importance of formal semantics Book Chapter

P.H.M. America (Pierre)

January 1989
A note on disjoint parallelism Book Chapter

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1989
Playing at semantics Book Chapter

P.C. Baayen

January 1989
On formal and informal reasoning in program construction Book Chapter

R.J.R. Back (Ralph-Johan)

January 1989
An algebra for process creation Book Chapter

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
BMACP Book Chapter

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1989
Towards compositional predicate transformer semantics for concurrent programs Book Chapter

E. Best

January 1989
Facets of software development Book Chapter

D. Bjørner

January 1989

Previous

Next