Using Process Algebra to Describe Human and Software Behaviors

Real time process algebra

J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 1991 · 369 citations · Full text

Computing, Computer Science, Formal Methods +13

The Real-Time Process Algebra (RTPA)

Yingxu Wang · Annals of Software Engineering · 2002 · 275 citations

Computing, Computer Engineering, Computer Science +10

Formal specification of a real-time lift dispatching system

Yingxu Wang, F.C. Ngolah · 2003 · 19 citations

Computing, Computer Engineering, Computer Science +10

Abstraction in real time process algebra

A.S. Klusener · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1991 · 19 citations · Full text

Engineering, Computer Engineering, Computer Science +12

A real-time process algebra with open intervals and maximal progress

Harald Fecher · 2001 · 15 citations

Computing, Computer Science, Algebra +11