Sciweavers

    11168 search results - page 48 / 2234
    » Abstract State Processes
    Sort
    View
    ICFEM
    2005
    Springer
    94views Software Engineering» more  ICFEM 2005»
    An Abstract Model for Process Mediation
    15 years 10 months ago
    An Abstract Model for Process Mediation
    Download  www.di.unipi.it
    Michael Altenhofen, Egon Börger, Jens Lemcke
    claim paper
    Read More »
    FSTTCS
    1994
    Springer
    101views Software Engineering» more  FSTTCS 1994»
    Priority and Abstraction in Process Algebra
    15 years 8 months ago
    Priority and Abstraction in Process Algebra
    Download  www.cs.umd.edu
    V. Natarajan, Ivan Christoff, Linda Christoff, Ran...
    claim paper
    Read More »
    BPM
    2009
    Springer
    68views Business» more  BPM 2009»
    Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
    15 years 8 months ago
    Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
    Download  www.ku-eichstaett.de
    Kais Klai, Samir Tata, Jörg Desel
    claim paper
    Read More »
    ER
    2006
    Springer
    101views Database» more  ER 2006»
    The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling
    15 years 8 months ago
    The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling
    Download  www.public.asu.edu
    Yang Xiao, Susan Darling Urban, Ning Liao
    claim paper
    Read More »
    CONCUR
    1995
    Springer
    124views Distributed And Parallel Com...» more  CONCUR 1995»
    Delayed choice for process algebra with abstraction
    15 years 8 months ago
    Delayed choice for process algebra with abstraction
    Download  eprints.eemcs.utwente.nl
    Pedro R. D'Argenio, Sjouke Mauw
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.