Modular Specification of Process Algebras

Theoretical Computer Science - Netherlands
doi 10.1016/0304-3975(93)90006-f
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Modular Reasoning for Actor Specification Diagrams

1999English

Modular Adjacency Algebras of Hamming Schemes

Journal of Algebraic Combinatorics
CombinatoricsDiscrete MathematicsNumber TheoryAlgebra
2004English

Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2003English

Hyper-Algebras of Vector-Valued Modular Forms

Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)
GeometryMathematical PhysicsAnalysisTopology
2018English

On Modular Complemented and Annihilator Algebras

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1972English

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Erratum to ``Modular Representations of Simple Lie Algebras''

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1998English

Finiteness of Endomorphism Algebras of CM Modular Abelian Varieties

Revista Matematica Iberoamericana
Mathematics
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy