Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /

57

Detalhes bibliográficos
Principais autores: 180279 Bowman, Howard, Gomez, Rodolfo
Formato:
Idioma:eng
Publicado em: Berlin, GW : Springer, 2006
Assuntos:
Parallel processing (Electronic computers)
Machine theory
LOTOS (Computer program language)

Registros relacionados