buth@gmdzi.UUCP (Angelika Buth) (05/25/90)
Continuation of summary of responses to my request on formal languages for OO-concepts in comp.object and comp.theory. <2452@gmdzi.UUCP> buth@gmdzi.UUCP (Angelika Buth) ****************************************************************************** With respect to your request in comp.object for a formal language for OO concepts, I suggest you also have a look at Milner's CCS and Hoare's CSP (see references below). In Geneva we are particularly interested in formalisms that can describe the semantics of persistent (i.e., non-terminating) active objects. We are presently using Milner's approach of defining an algebraic notation that captures the behaviour of a collection of agents as a transition system over the set of behaviour expressions. We then express the semantics of OO language constructs and object models be translation to this notation (or by extension of the notation by new operators appropriate to the language model). If you are interested, I can send you copies of some of our papers. Kind, regards, Oscar Nierstrasz %L Miln89a %K olit concurrency obib(obcp) %A R. Milner %T Communication and Concurrency %I Prentice-Hall %D 1989 %L Hoar85a %K olit concurrency book obib(obcp) %A C.A.R. Hoare %T Communicating Sequential Processes %I Prentice-Hall %D 1985 ------------------------------------------------------------------- Dr. O.M. Nierstrasz | Tel: 41 (22) 787.65.80 University of Geneva | Fax: 735.39.05 Centre Universitaire d'Informatique | Home: 733.95.68 12 rue du Lac, CH-1207 Geneva | E-mail: oscar@cui.unige.ch SWITZERLAND | oscar@cgeuge51.bitnet ------------------------------------------------------------------- ****************************************************************************** *** end of continued summary *** Thank you for your input. Angelika buth@gmdzi.uucp