Communicating B Machines

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45648-1_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Symbolic Step Encodings for Object Based Communicating State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Multicast Congestion Control SRMSH Approach Using Communicating Real-Time State Machines

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
ModelingEngineeringMultidisciplinaryApplied MathematicsSimulation
2010English

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

13 Communicating

2019English

Communicating Sustainability

Journal of Communication Management
CommunicationManagementStrategy
2008English

Communicating on Welfare

Veterinary Record
MedicineVeterinary
2012English

Communicating Risk Reductions

BMJ
1999English

Anterior Communicating Artery

2018English

Communicating Across Cultures

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy