All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs (Q2914369)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs |
scientific article |
Statements
All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs (English)
0 references
25 September 2012
0 references
process algebra
0 references
semantics
0 references
compositionality
0 references
verification
0 references
0.94735837
0 references
0.84390676
0 references
0.83336663
0 references
0.83259594
0 references
0 references
0.8295883
0 references
0.8294341
0 references
0.8278926
0 references
