university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    The practical importance of formal semantics Book Chapter

    P.H.M. America (Pierre)

    January 1989
    open access
  • thumb

    A note on disjoint parallelism Book Chapter

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

    January 1989
    open access
  • thumb

    Playing at semantics Book Chapter

    P.C. Baayen

    January 1989
    open access
  • thumb

    On formal and informal reasoning in program construction Book Chapter

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

    January 1989
    open access
  • thumb

    An algebra for process creation Book Chapter

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

    January 1989
    open access
  • thumb

    BMACP Book Chapter

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

    January 1989
    open access
  • thumb

    Towards compositional predicate transformer semantics for concurrent programs Book Chapter

    E. Best

    January 1989
    open access
  • thumb

    Facets of software development Book Chapter

    D. Bjørner

    January 1989
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close