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 »

129

click to vote

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

15 years 12 months ago

Download www.di.ens.fr

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

claim paper

Read More »

149

click to vote

GC
2004
Springer

108views Applied Computing» more GC 2004»

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

15 years 12 months ago

Download www.dsi.unive.it

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

104

click to vote

ICFEM
2004
Springer

83views Software Engineering» more ICFEM 2004»

An Equational Calculus for Alloy

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers