Thread View: comp.specification
2 messages
2 total messages
Started by Malte Grosse
Wed, 12 Sep 1990 09:29
parallel specification
Author: Malte Grosse
Date: Wed, 12 Sep 1990 09:29
Date: Wed, 12 Sep 1990 09:29
12 lines
779 bytes
779 bytes
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
Re: parallel specification
Author: Ed Brinksma
Date: Thu, 13 Sep 1990 08:11
Date: Thu, 13 Sep 1990 08:11
35 lines
1596 bytes
1596 bytes
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
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