contributed articles Erlang

by Unknown Authors

Active Bibliography

540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
844 Flocks, herds, and schools: a distributed behavioral model – Craig W. Reynolds - 1987
1136 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
959 Generative communication in Linda – David Gelernter - 1985
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
616 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996