A logical process calculus

Materias

• Algebra
• Heterogeneity
• Specifications

Ediciones (2)

• A logical process calculus (2002)

  Institute for Computer Applications in Science and Engineering, NASA Langley Research Center · inglés

• A logical process calculus (2001)

  Institute for Computer Applications in Science and Engineering, NASA Langley Research Center · inglés

Más obras de Rance Cleaveland

TThe concurrency workbench

The concurrency workbench

PPriority in process algebras

Priority in process algebras

From Reactive Systems to Cyber-Physical Systems

Ver todas las obras de Rance Cleaveland →