Expressiveness Results for Process Algebras

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-56596-5_49
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2010English

Priorities in Process Algebras

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1990English

Modular Specification of Process Algebras

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1993English

Deciding Regularity in Process Algebras

BRICS Report Series
1995English

Permutable Agents in Process Algebras

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

New Results on Power-Associative Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1954English

Expressiveness and Complexity of Order Dependencies

Proceedings of the VLDB Endowment
Computer Science
2013English

Some Results in Weak Pseudo-Quasi-Wajsberg Algebras

Symmetry
MathematicsChemistryPhysicsComputer ScienceAstronomy
2019English

On Analogs of Some Group-Theoretic Concepts and Results for Leibniz Algebras

Reports of the National Academy of Sciences of Ukraine
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy