Вы здесь

Главная

алгебра

Связанные издания:

Category-sorted Algebra-based Action Semantics
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus
Causal Semantics in Process Algebra
CCS, Locations and Asynchronous Transition Systems
Chu Spaces and Their Interpretation as Concurrent Objects
Classifying Regular Languages by Their Syntactic Algebras
Closed Interval Process Algebra versus Interval Process Algebra
Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance
Combining Petri Nets and PA-Processes
Combining Symbolic Constraint Solvers on Algebraic Domains
Communicating Evolving Algebras
Communication as Unification in Process Algebras: Operational Semantics
Communication as Unification in Process Algebras: Operational Semantics
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
Comparison of Process Algebra Equivalences Using Formats
Complete Axiomatizations of some Quotient Term Algebras
Composing Event Constraints in State-Based Specification
Compositionality in State Space Verification Methods
Compositional Performance Analysis
Compositional Process Semantics of Petri Boxes
Compuer Algebra and Polynomials: Applications of Algebra and Number Theory
Computability and Complexity: Essays Dedicated to Rodney G.Downey on the Occasion of His 60th Birthday
Computational Science - ICCS 2006: Part II: Proc./6th International Conference. Reading, UK, May 2006
Computation Calculus - Bridging a Formalization Gap
Computation Models and Function Algebras
CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001
CONCUR 2003 - Concurrency Theory: Proc./14th Intern. Conf., Marseille, France, September 2003
CONCUR 95: Concurrency Theory: Proc./ 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995
Constraint Databases: A Survey
Converting Nested Algebra Expressions into Flat Algebra Expressions
Cool: A Control-flow Generator for System Analysis
Correct Hardware Design and Verification Methods: Proc./ IFIP WG10.5 Advanced Research Working Conference CHARME 95. Frankfurt/Main, Germany, Oktober 1995
Cpo s do not form a cpo - but recursion still works
CTR: A Calculus of Timed Refinement
Cut-free Display Calculi for Relation Algebras
Cuurent Trends in Numerical Linear Algebra: From Theory to Practice
Data Representation and In-built Compilation in the Computer Algebra Program FELIX
Data Types over Multiple-valued Logics
Decidability Issues for Infinite-State Processes - a Survey
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
-definition of Function(al)s by Normal Forms
Delayed choice for process algebra with abstraction
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra
Descriptive and Analytical Process Algebras
Designing and Implementing Correct Real-Time Systems
Design of a Specification Language by Abstract Syntax Engineering (prliminary version)
Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra
Direct Specifications vs. Abstract Specifications A Relational Approach
Discrete Time Process Algebra