Sciweavers

    ENTCS
    1998
    58views more  ENTCS 1998»
    Relators and Metric Bisimulations
    13 years 11 months ago
    Relators and Metric Bisimulations
    Download  homepages.cwi.nl
    Jan J. M. M. Rutten
    claim paper
    Read More »
    ENTCS
    1998
    94views more  ENTCS 1998»
    Derivation of Characteristic Formulae
    13 years 11 months ago
    Derivation of Characteristic Formulae
    Download  cs.uni-muenster.de
    This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
    Markus Müller-Olm
    claim paper
    Read More »
    ENTCS
    1998
    60views more  ENTCS 1998»
    Semantics, modularity, and rewriting logic
    13 years 11 months ago
    Semantics, modularity, and rewriting logic
    Download  www.brics.dk
    Peter D. Mosses
    claim paper
    Read More »
    ENTCS
    1998
    115views more  ENTCS 1998»
    A Testing Equivalence for Reactive Probabilistic Processes
    13 years 11 months ago
    A Testing Equivalence for Reactive Probabilistic Processes
    Download  qav.comlab.ox.ac.uk
    We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
    Marta Z. Kwiatkowska, Gethin Norman
    claim paper
    Read More »
    ENTCS
    1998
    101views more  ENTCS 1998»
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
    13 years 11 months ago
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
    Download  qav.comlab.ox.ac.uk
    Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
    Marta Z. Kwiatkowska, Gethin Norman
    claim paper
    Read More »
    ENTCS
    1998
    63views more  ENTCS 1998»
    Proof theory and computational analysis
    13 years 11 months ago
    Proof theory and computational analysis
    Download  www.brics.dk
    Ulrich Kohlenbach
    claim paper
    Read More »
    ENTCS
    1998
    88views more  ENTCS 1998»
    Automatically Proving Up-to Bisimulation
    13 years 11 months ago
    Automatically Proving Up-to Bisimulation
    Download  cermics.enpc.fr
    Daniel Hirschkoff
    claim paper
    Read More »
    ENTCS
    1998
    79views more  ENTCS 1998»
    Covarieties and Complete Covarieties
    13 years 11 months ago
    Covarieties and Complete Covarieties
    Download  www.mathematik.uni-marburg.de
    We present two ways to de ne covarieties and complete covarieties, i.e. covarieties that are closed under total bisimulation: by closure operators and by subcoalgebras of coalgebr...
    H. Peter Gumm, Tobias Schröder
    claim paper
    Read More »
    ENTCS
    1998
    105views more  ENTCS 1998»
    A Concurrent Object Calculus: Reduction and Typing
    13 years 11 months ago
    A Concurrent Object Calculus: Reduction and Typing
    Download  research.microsoft.com
    We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
    Andrew D. Gordon, Paul D. Hankin
    claim paper
    Read More »
    ENTCS
    1998
    67views more  ENTCS 1998»
    The Semantics of Triveni: A Process-Algebraic API for Threads + Events
    13 years 11 months ago
    The Semantics of Triveni: A Process-Algebraic API for Threads + Events
    Download  webpages.cs.luc.edu
    Christopher Colby, Lalita Jategaonkar, Radha Jagad...
    claim paper
    Read More »
    12next ›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.