reference wanted: Plotkin, Lampson

Article View: comp.specification

Article #5

Back to comp.specification Previous Next

From: Malte Grosse
Date: Tue, 27 Oct 1992 14:25

16 lines
1049 bytes

Hi!

I am looking for a reference to a work of 
Gordon Plotkin and Butler Lampson
in which the define role schemata and develope therefore a calculus (?)

It can be used to specify accesses and right in multiuser environments.

Since I have just heard from the work and I have no clue
about the contents, all hints are welcome.

Thanks

Malte

PS: please reply to grosse@informatik.uni-ulm.de

Technical Details

Message-ID: <1992Oct27.142514.23985@informatik.uni-ulm.de>

Path:

arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!news.netmbx.de!mailgzrz.TU-Berlin.DE!math.fu-berlin.de!news.belwue.de!news.uni-ulm.de!theorie!phobos!grosse

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!news.netmbx.de!mailgzrz.TU-Berlin.DE!math.fu-berlin.de!news.belwue.de!news.uni-ulm.de!theorie!phobos!grosse
From: grosse@phobos.informatik.uni-ulm.de (Malte Grosse)
Subject: reference wanted: Plotkin, Lampson
Message-ID: <1992Oct27.142514.23985@informatik.uni-ulm.de>
Keywords: role schemata, safety
Sender: usenet@informatik.uni-ulm.de (Name for nntp-posting)
Nntp-Posting-Host: phobos.informatik.uni-ulm.de
Reply-To: grosse@phobos.informatik.uni-ulm.de (Malte Grosse)
Organization: University of Ulm, Germany
Date: Tue, 27 Oct 92 14:25:14 GMT
Lines: 16