reference wanted: Plotkin, Lampson

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Malte Grosse Tue, 27 Oct 1992 14:25

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads