• DocumentCode
    2199380
  • Title

    Modelling and proving of truly concurrent systems with CATNets

  • Author

    Bettaz, Mohamed ; Mehemmel, Abbas

  • Author_Institution
    Inst. of Comput. Sci., Univ. of Constantine, Algeria
  • fYear
    1993
  • fDate
    27-29 Jan 1993
  • Firstpage
    265
  • Lastpage
    272
  • Abstract
    Concurrent Algebraic Term Nets (CATNets in short) are a semi-graphical formalism for modelling and prototyping concurrent systems. In this paper we show how this formalism may be used to design an elegant solution to a router problem. Then we show how the semantic framework of CATNets may be used to perform automatic proving
  • Keywords
    Petri nets; concurrency control; software prototyping; CATNets; Concurrent Algebraic Term Nets; automatic proving; prototyping; router problem; semantic framework; truly concurrent systems; Computer science; Concurrent computing; Data models; Equations; Logic; Petri nets; Prototypes; Software design;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
  • Conference_Location
    Gran Canaria
  • Print_ISBN
    0-8186-3610-6
  • Type

    conf

  • DOI
    10.1109/EMPDP.1993.336393
  • Filename
    336393
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2199380