958
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation

      proceedings-article
      ,
      Proceedings of the BCS-FACS 7th Refinement Workshop (RW)
      BCS-FACS 7th Refinement Workshop
      3-5 July 1996
      Bookmark

            Abstract

            In this paper, we present a durational process algebra incorporating syntactic action refinement. We study its correctness with respect to the semantic refinement in an interleaving model, namely the labelled transition systems. This defined refinement is compositional over the language operators and may provide at a given level of abstraction a timed efficient implementation for a specification.

            Content

            Author and article information

            Conference
            July 1996
            July 1996
            : 1-14
            Affiliations
            [0001]CRIN/INRIA, Université Henri Poicaré

            Nancy, 54500, France.
            Article
            10.14236/ewic/RW1996.5
            ace2d9f0-aa45-457c-b34c-69ef0a4799be
            © Abdelkader Dekdouk et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS 7th Refinement Workshop, Bath

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the BCS-FACS 7th Refinement Workshop
            RW
            7
            Bath
            3-5 July 1996
            Electronic Workshops in Computing (eWiC)
            BCS-FACS 7th Refinement Workshop
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/RW1996.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article