grosse@lan.informatik.tu-muenchen.dbp.de (Malte Grosse) (09/12/90)
Hi! I am looking for parallel specification languages or sequential ones which support parallel constructs. Is there any work going on? Malte please answer to : grosse@lan.informatik.tu-muenchen.dbp.de
brinksma@cs.utwente.nl (Ed Brinksma) (09/13/90)
In article <4372@tuminfo1.lan.informatik.tu-muenchen.dbp.de>, grosse@lan.informatik.tu-muenchen.dbp.de (Malte Grosse) writes: |> |> Hi! |> |> I am looking for parallel specification languages or sequential |> ones which support parallel constructs. Is there any work |> going on? |> |> Malte |> |> |> please answer to : |> grosse@lan.informatik.tu-muenchen.dbp.de Among the many formalisms that exist, the following represent the so-called 'process algebraic' approach: CCS, CSP, ACP, LOTOS, SCCS, MEIJE, CIRCAL They all include one or more operators that explicitly model (various forms of) parallelism. You should be able to find references to them in any reasonably equipped library. The following books have appeared CCS R.Milner LNCS 92 R.Milner Communication & Concurrency, Prentice Hall CSP C.A.R.Hoare Communicating Sequential Processes, Prentice Hall LOTOS P.H.J. vam Eijk, C.A.Vissers, M.Diaz (eds) The Formal Description Technique LOTOS, North-Holand E. Brinksma (ed), ISO IS8807 (=International Standard) Ed Brinksma