Priority in process algebras

Materias

• Calculus
• Surveys
• Selection
• Algorithms
• Real time operation
• Progress
• Algebra

Ediciones (3)

• Priority in process algebras (1999)

  National Aeronautics and Space Administration, Langley Research Center · inglés

• Priority in process algebras (1999)

  National Aeronautics and Space Administration, Langley Research Center · inglés

• Priority in process algebras (1999)

  National Aeronautics and Space Administration, Langley Research Center · inglés

Más obras de Rance Cleaveland

TThe concurrency workbench

The concurrency workbench

AA logical process calculus

A logical process calculus

From Reactive Systems to Cyber-Physical Systems

Ver todas las obras de Rance Cleaveland →