General Information
    • ISSN: 1793-8201 (Print), 2972-4511 (Online)
    • Abbreviated Title: Int. J. Comput. Theory Eng.
    • Frequency: Quarterly
    • DOI: 10.7763/IJCTE
    • Editor-in-Chief: Prof. Mehmet Sahinoglu
    • Associate Editor-in-Chief: Assoc. Prof. Alberto Arteta, Assoc. Prof. Engin Maşazade
    • Managing Editor: Ms. Mia Hu
    • Abstracting/Indexing: Scopus (Since 2022), INSPEC (IET), CNKI,  Google Scholar, EBSCO, etc.
    • Average Days from Submission to Acceptance: 192 days
    • E-mail:
    • Journal Metrics:

Prof. Mehmet Sahinoglu
Computer Science Department, Troy University, USA
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


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-2024. International Association of Computer Science and Information Technology. All rights reserved.