scholarly journals Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs

1999 ◽  
pp. 323-332
Author(s):  
George A. Constantinides ◽  
Peter Y. K. Cheung ◽  
Wayne Luk
Keyword(s):  
Interacting Automata

scholarly journals Large-scale synchrony in weakly interacting automata

2001 ◽  
Vol 63 (5) ◽  
Author(s):  
Eric J. Friedman ◽  
A. S. Landsberg
Keyword(s):  
Large Scale ◽  
Weakly Interacting ◽  
Interacting Automata

scholarly journals The complexity of interacting automata

2015 ◽  
Vol 45 (1-2) ◽  
pp. 461-496 ◽  
Author(s):  
Olivier Gossner ◽  
Penélope Hernández ◽  
Ron Peretz
Keyword(s):  
Interacting Automata

A model for mobile code using interacting automata

2002 ◽  
Vol 1 (4) ◽  
pp. 313-326 ◽  
Author(s):  
R.R. Brooks ◽  
N. Orr
Keyword(s):  
Mobile Code ◽  
Interacting Automata

Harmonization of Interacting Automata

2015 ◽  
Vol 51 (5) ◽  
pp. 676-686 ◽  
Author(s):  
A. N. Chebotarev
Keyword(s):  
Interacting Automata

scholarly journals Momba: JANI Meets Python

2021 ◽  
pp. 389-398
Author(s):  
Maximilian A. Köhl ◽  
Michaela Klauck ◽  
Holger Hermanns
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Programming Language ◽  
Quantitative Model ◽  
General Purpose ◽  
Ease Of Use ◽  
Formal Models ◽  
Interchange Format ◽  
Model Interchange ◽  
Interacting Automata

AbstractJANI-model [6] is a model interchange format for networks of interacting automata. It is well-entrenched in the quantitative model checking community and allows modeling a variety of systems involving concurrency, probabilistic and real-time aspects, as well as continuous dynamics. Python is a general purpose programming language preferred by many for its ease of use and vast ecosystem. In this paper, we present Momba, a flexible Python framework for dealing with formal models centered around the JANI-model format and formalism. Momba strives to deliver an integrated and intuitive experience for experimenting with formal models making them accessible to a broader audience. To this end, it provides a pythonic interface for model construction, validation, and analysis. Here, we demonstrate these capabilities.

Resolution approach to testing compatibility of interacting automata

1994 ◽  
Vol 30 (6) ◽  
pp. 820-829 ◽  
Author(s):  
M. K. Morokhovets ◽  
A. N. Chebotarev
Keyword(s):  
Interacting Automata
Sign in / Sign up

Export Citation Format

Share Document