Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course
暂无分享,去创建一个
[1] Ole Lehrmann Madsen,et al. Object-oriented programming in the BETA programming language , 1993 .
[2] Kurt Jensen,et al. Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .
[3] Wilfried Brauer. Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications , 1979 .
[4] Peter Huber,et al. Design/CPN?: A Reference Manual , 1992 .
[5] Lawrence C. Paulson,et al. ML for the working programmer (2. ed.) , 1996 .
[6] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[7] J. Davenport. Editor , 1960 .
[8] Randall H. Trigg,et al. Design issues for a Dexter-based hypermedia system , 1994, CACM.
[9] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[10] Chris Reade,et al. ML for the Working Programmer (2nd edition) by L. C. Paulson, Cambridge University Press, 1996. A Practical Course in Functional Programming Using Standard ML by R. Bosworth, McGraw Hill, 1996. , 1997, Journal of Functional Programming.
[11] Wilfried Brauer,et al. Net Theory and Applications , 1980, Lecture Notes in Computer Science.
[12] Matthias Jantzen. Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research , 1979, Advanced Course: Net Theory and Applications.
[13] Kenneth P. Birman,et al. Reliable broadcast protocols , 1990 .