Sciweavers

    ENTCS
    2007
    97views more  ENTCS 2007»
    Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
    14 years 12 days ago
    Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
    Download  www.doc.ic.ac.uk
    Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
    Harald Fecher, Heiko Schmidt
    claim paper
    Read More »
    ENTCS
    2007
    95views more  ENTCS 2007»
    A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    14 years 12 days ago
    A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    Download  www.cse.unsw.edu.au
    Traian-Florin Serbanuta, Grigore Rosu, José...
    claim paper
    Read More »
    ENTCS
    2007
    86views more  ENTCS 2007»
    Simulations Up-to and Canonical Preorders: (Extended Abstract)
    14 years 12 days ago
    Simulations Up-to and Canonical Preorders: (Extended Abstract)
    Download  www.cse.unsw.edu.au
    d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...
    David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
    claim paper
    Read More »
    ENTCS
    2007
    89views more  ENTCS 2007»
    A Well-behaved LTS for the Pi-calculus: (Abstract)
    14 years 12 days ago
    A Well-behaved LTS for the Pi-calculus: (Abstract)
    Download  www.cse.unsw.edu.au
    Pawel Sobocinski
    claim paper
    Read More »
    ENTCS
    2007
    111views more  ENTCS 2007»
    Reversibility and Models for Concurrency
    14 years 12 days ago
    Reversibility and Models for Concurrency
    Download  www.cse.unsw.edu.au
    There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
    Iain Phillips, Irek Ulidowski
    claim paper
    Read More »
    ENTCS
    2007
    98views more  ENTCS 2007»
    A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
    14 years 12 days ago
    A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
    Download  www.cse.unsw.edu.au
    We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
    Jesper Bengtson, Joachim Parrow
    claim paper
    Read More »
    ENTCS
    2007
    98views more  ENTCS 2007»
    Frameworks Based on Templates for Rigorous Model-driven Development
    14 years 12 days ago
    Frameworks Based on Templates for Rigorous Model-driven Development
    Download  www-users.cs.york.ac.uk
    The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
    Nuno Amálio, Fiona Polack, Susan Stepney
    claim paper
    Read More »
    ENTCS
    2007
    71views more  ENTCS 2007»
    Building Verification Condition Generators by Compositional Extension
    14 years 12 days ago
    Building Verification Condition Generators by Compositional Extension
    Download  www.win.tue.nl
    A. J. van Leeuwen
    claim paper
    Read More »
    ENTCS
    2007
    171views more  ENTCS 2007»
    A Certifying Code Generation Phase
    14 years 12 days ago
    A Certifying Code Generation Phase
    Download  www.jblech.de
    Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
    Jan Olaf Blech, Arnd Poetzsch-Heffter
    claim paper
    Read More »
    ENTCS
    2007
    108views more  ENTCS 2007»
    Generating Java Compiler Optimizers Using Bidirectional CTL
    14 years 12 days ago
    Generating Java Compiler Optimizers Using Bidirectional CTL
    Download  www.is.titech.ac.jp
    There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
    Ling Fang, Masataka Sassa
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.