Adding distribution and fault tolerance to Jason
Fernández-Díaz, Á., Benac-Earle, C., Fredlund, L.
Published in Science of computer programming (01.02.2015)
Published in Science of computer programming (01.02.2015)
Get full text
Journal Article
Formal verification of a leader election protocol in process algebra
Fredlund, Lars-åke, Groote, Jan Friso, Korver, Henri
Published in Theoretical computer science (15.05.1997)
Published in Theoretical computer science (15.05.1997)
Get full text
Journal Article
Semi-automated verification of Erlang code
Fredlund, L.-A., Gurov, D., Noll, T.
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Get full text
Conference Proceeding
Static Partial Order Reduction for Probabilistic Concurrent Systems
Fern'ndez-Diaz, A., Baier, C., Benac-Earle, C., Fredlund, L.
Published in 2012 Ninth International Conference on Quantitative Evaluation of Systems (01.09.2012)
Published in 2012 Ninth International Conference on Quantitative Evaluation of Systems (01.09.2012)
Get full text
Conference Proceeding