Unique fixpoint induction for message-passing process calculi
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
2001-11.
|
Subjects: | |
Online Access: | Get fulltext |
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
2001-11.
|
Subjects: | |
Online Access: | Get fulltext |