Formal communication semantics of SystemCdouble-struck F sign double-struck L sign

K. L. Man

doi:10.1109/DSD.2005.41

Formal communication semantics of SystemC^{double-struck F sign double-struck L sign}

K. L. Man^*

^*Corresponding author for this work

Eindhoven University of Technology

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

3 Citations (Scopus)

Abstract

In this paper, we define a formal communication semantics for SystemC^{double-struck F sign double-struck L sign} that deals with concurrency and interaction. The communication semantics of SystemC^{double-struck F sign double-struck L sign} is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC^{double-struck F sign double-struck L sign} is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC^{double-struck F sign double-struck L sign}.

Original language	English
Title of host publication	Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006
Pages	338-345
Number of pages	8
DOIs	https://doi.org/10.1109/DSD.2005.41
Publication status	Published - 2005
Externally published	Yes
Event	DSD'2005: 8th Euromicro Conference on Digital System Design - Porto, Portugal Duration: 30 Aug 2005 → 3 Sept 2005

Publication series

Name	Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools
Volume	2005

Conference

Conference	DSD'2005: 8th Euromicro Conference on Digital System Design
Country/Territory	Portugal
City	Porto
Period	30/08/05 → 3/09/05

Access to Document

10.1109/DSD.2005.41

Cite this

Man, K. L. (2005). Formal communication semantics of SystemC^{double-struck F sign double-struck L sign}. In Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006 (pp. 338-345). Article 1559823 (Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools; Vol. 2005). https://doi.org/10.1109/DSD.2005.41

@inproceedings{ce075187739a4587985856cb62f61e4a,

title = "Formal communication semantics of SystemCdouble-struck F sign double-struck L sign",

abstract = "In this paper, we define a formal communication semantics for SystemCdouble-struck F sign double-struck L sign that deals with concurrency and interaction. The communication semantics of SystemCdouble-struck F sign double-struck L sign is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCdouble-struck F sign double-struck L sign is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCdouble-struck F sign double-struck L sign.",

author = "Man, {K. L.}",

year = "2005",

doi = "10.1109/DSD.2005.41",

language = "English",

isbn = "0769524338",

series = "Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools",

pages = "338--345",

booktitle = "Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006",

note = "DSD'2005: 8th Euromicro Conference on Digital System Design ; Conference date: 30-08-2005 Through 03-09-2005",

}

Man, KL 2005, Formal communication semantics of SystemC^{double-struck F sign double-struck L sign}. in Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006., 1559823, Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools, vol. 2005, pp. 338-345, DSD'2005: 8th Euromicro Conference on Digital System Design, Porto, Portugal, 30/08/05. https://doi.org/10.1109/DSD.2005.41

Formal communication semantics of SystemC^{double-struck F sign double-struck L sign}. / Man, K. L.
Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. 2005. p. 338-345 1559823 (Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools; Vol. 2005).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Formal communication semantics of SystemCdouble-struck F sign double-struck L sign

AU - Man, K. L.

PY - 2005

Y1 - 2005

N2 - In this paper, we define a formal communication semantics for SystemCdouble-struck F sign double-struck L sign that deals with concurrency and interaction. The communication semantics of SystemCdouble-struck F sign double-struck L sign is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCdouble-struck F sign double-struck L sign is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCdouble-struck F sign double-struck L sign.

AB - In this paper, we define a formal communication semantics for SystemCdouble-struck F sign double-struck L sign that deals with concurrency and interaction. The communication semantics of SystemCdouble-struck F sign double-struck L sign is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCdouble-struck F sign double-struck L sign is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCdouble-struck F sign double-struck L sign.

UR - http://www.scopus.com/inward/record.url?scp=33845349234&partnerID=8YFLogxK

U2 - 10.1109/DSD.2005.41

DO - 10.1109/DSD.2005.41

M3 - Conference Proceeding

AN - SCOPUS:33845349234

SN - 0769524338

SN - 9780769524337

T3 - Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools

SP - 338

EP - 345

BT - Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006

T2 - DSD'2005: 8th Euromicro Conference on Digital System Design

Y2 - 30 August 2005 through 3 September 2005

ER -