Unique fixpoint induction for message-passing process calculi

Bibliographic Details
Main Authors: Hennessy, Matthew (Author), Lin, Huimin (Author), Rathke, Julian (Author)
Format: Article
Language:English
Published: 2001-11.
Subjects:
Online Access:Get fulltext