Formal Aspects of Computing
Collection
Collection
- ISSN: 0934-5043
Published by Springer
-
Reasoning about prolog programs: from modes through types to assertions Article
Formal Aspects of Computing, 6(6A), 743-765.January 1994 -
Edsger Wybe Dijstra (1930--2002): a portrait of a genius Article
Formal Aspects of Computing, 14(2), 92-98.January 2002 -
A computer checked algebraic verification of a distributed summation algorithm Article
Formal Aspects of Computing, 17(1), 19-37.January 2005 -
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 -
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 -
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 -
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 -
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