Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)

Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Автор
 
Год
 
Страниц
 
0
ISBN
 
0521400449
Издатель
 
North-Holland
Категория
 
Проектирование ПО
Искать в интернет библиотекахКупить

Описание:

The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets.

Похожие книги

Educational game designEducational game design
Автор: Albert James
Год: 2010
Medical terminology for dummiesMedical terminology for dummies
Автор: Beverley Henderson
Год: 2008
Acting in an Uncertain World: An Essay on Technical Democracy (Inside Technology)Acting in an Uncertain World: An Essay on Technical Democracy (Inside Technology)
Автор: Michel Callon, Pierre Lascoumes, Yannick Barthe, Graham Burchell
Год: 2009
Rivers for Life: Managing Water for People and NatureRivers for Life: Managing Water for People and Nature
Автор: Sandra Postel, Brian Richter
The science of ice creamThe science of ice cream
Автор: C Clarke
Год: 2005