• May 27, 2016 News!The submission for Special Issue is officially open now!   [Click]
  • May 03, 2016 News!Vol.6, No.6 has been indexed by EI (Inspec).   [Click]
  • Mar 17, 2017 News!Vol.9, No.2 has been published with online version. 13 peer reviewed articles from 4 specific areas are published in this issue.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2009 Vol.1(4): 434-440 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2009.V1.70

SystemCtlm FL: the Successor of SystemCFL

K. L. Man and M. Mercaldi

Abstract—In this paper, we introduce SystemC tlm FL, an algebraic theory based on classical process algebras “Algebra of Communicating Processes (ACP)” and “A Timed Process Algebra for Specifying Real-Time Systems (ATP)” that can be used to specify and analyze the behavior of SystemC designs. This language is the successor of the SystemC FL language. The SystemC tlm FL language extends SystemC FL with the possibility to define process term instantiations and for the use of SystemC positional connections/named connection and Transaction Level Modeling (TLM). We illustrate the practical use of SystemC tlm FL by means of several examples (including a TLM example).

Index Terms—SystemC, formal semantics, SystemC FL, SystemC tlm FL, process algebras, formal specification and analysis, transaction level modeling

Ka Lok Man is with Solari, Hong Kong,
M. Mercaldi is with M.O.S.T., Turin, Italy

[PDF]

Cite: K. L. Man and M. Mercaldi, "SystemCtlm FL: the Successor of SystemCFL," International Journal of Computer Theory and Engineering vol. 1, no. 4, pp. 434-440, 2009.

Copyright © 2008-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com