Search Sciweavers | Sciweavers

The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...

David Robertson

claim paper

Read More »

140

click to vote

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

16 years 13 days ago

Download www.di.ens.fr

Martín Abadi, Bruno Blanchet, Cédric...

claim paper

Read More »

164

Voted

GC
2004
Springer

108views Applied Computing» more GC 2004»

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

16 years 13 days ago

Download www.dsi.unive.it

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

112

click to vote

ICFEM
2004
Springer

83views Software Engineering» more ICFEM 2004»

An Equational Calculus for Alloy

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers