Original language | English |
---|---|
Title of host publication | Proceedings of the Workshop on Structural Operational Semantics (SOS 2004) |
Publisher | Pergamon Press |
Publication date | 2005 |
Pages | 1 |
Publication status | Published - 2005 |
Series | Electronic Notes in Theoretical Computer Science |
---|---|
Number | 1 |
Volume | 128 |