[comp.specification] parallel specification

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