university website Publications by Year
  • sign in
  • Journal

Formal Aspects of Computing

Collection

Collection

  • ISSN: 0934-5043
Published by Springer
  • thumb

    Reasoning about prolog programs: from modes through types to assertions Article

    Formal Aspects of Computing, 6(6A), 743-765.

    K.R. Apt (Krzysztof) and E. Marchiori

    January 1994
    open access
  • thumb

    Edsger Wybe Dijstra (1930--2002): a portrait of a genius Article

    Formal Aspects of Computing, 14(2), 92-98.

    K.R. Apt (Krzysztof)

    January 2002
    open access
  • A computer checked algebraic verification of a distributed summation algorithm Article

    Formal Aspects of Computing, 17(1), 19-37.

    J.F. Groote (Jan Friso), F. Monin and J.G. Springintveld

    January 2005
    open access
  • Verification of a sliding window protocol in $\mu$ CRL and PVS Article

    Formal Aspects of Computing, 17(3), 342-388.

    B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang and J.C. van de Pol (Jaco)

    January 2005
  • thumb

    Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions Article

    Formal Aspects of Computing, 1-30.

    N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

    August 2011
    open access
  • thumb

    Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

    Formal Aspects of Computing, 187-216.

    N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

    January 2012
    open access
  • thumb

    Reconciling real and stochastic time: the need for probabilistic refinement Article

    Formal Aspects of Computing, 497-518.

    J. Markovski (Jasen), P.R. D'Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

    January 2012
    open access
  • Reconciling real and stochastic time: the need for probabilistic refinement Article

    Formal Aspects of Computing, 24(4-6), 497-518.

    J. Markovski (Jasen), P.R. Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

    July 2012
Previous
Refine Publication List
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