Abstract
Based on Process Algebra, the formal language SystemC double struck F signdouble struck L sign has been developed that is the formalization of SystemC. The language semantics of SystemC double struck F signdouble struck L sign is formally denned in a standard structured operational semantics (SOS) style.
| Original language | English |
|---|---|
| Pages | 201-204 |
| Number of pages | 4 |
| Publication status | Published - 2004 |
| Externally published | Yes |
| Event | Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference, MELECON 2004 - Dubrovnik, Croatia Duration: 12 May 2004 → 15 May 2004 |
Conference
| Conference | Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference, MELECON 2004 |
|---|---|
| Country/Territory | Croatia |
| City | Dubrovnik |
| Period | 12/05/04 → 15/05/04 |