Original language | English |
---|
Publisher | Pergamon Press |
---|---|
Number of pages | 122 |
Publication status | Published - 2005 |
Series | Electronic Notes in Theoretical Computer Science |
---|---|
Number | 1 |
Volume | 128 |
ISSN | 1571-0661 |
Keywords
- Structural Operational Semantics
- SOS
- Programming Languages
- Specification Languages