Title of article

The weakest deadlock-preserving congruence

Author/Authors

Antti Valmari، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

6

From page

341

To page

346

Keywords

Specification languages , Formal semantics , concurrency

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128224