Publication details
Modal logics for timed process algebras
| Authors | |
|---|---|
| Year of publication | 1992 |
| Type | Article in Proceedings |
| Conference | First North American First North American Process Algebra Workshop |
| MU Faculty or unit | |
| Citation | |
| Keywords | process algebra |