Decomposition of Constraint Automata (original) (raw)
Related papers
On the Construction of Automata from Linear Arithmetic Constraints
Lecture Notes in Computer Science, 2000
On the Specification of Higher Dimensional Automata
Electronic Notes in Theoretical Computer Science, 2002
Regular processes and timed automata
Lecture Notes in Computer Science, 1997
SystemC waiting state automata
International Journal of Critical Computer-Based Systems, 2012
Flow control with processing constraint
IEEE Communications Letters, 2005
On the Representation of Finite Automata
arXiv (Cornell University), 2009
Journal of Automata, Languages and Combinatorics u (v) w, x{y
Constraint satisfaction as global optimization
Automata concepts over game design process
Bulletin of the "Transilvania" University of Braşov. Series III, Mathematics and Computer Science, 2024
Information Processing Letters, 1998
IEEE Intelligent Systems, 2005
The Nonlinear Workbook, 2011
Pre-automata and Complex Event Processing
Information and Communication Technologies in Education, Research, and Industrial Applications, 2014
Constraint Problem Specification as Compression
EPiC series in computing, 2018
System Modeling and Optimization
IFIP Advances in Information and Communication Technology, 2013
Model and synthesize security automata
2006
Gate automata-driven run-time enforcement
Computers & Mathematics with Applications, 2012
Journal de Physique Lettres, 1985
Model Decomposition and Simulation
2004
Carlos E D U A R D O Maldonado
Emergence: Complexity and Organization, 2016
The Case for a Balanced Decomposition Process
Proceedings of the 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, 2009
Distributing automata for asynchronous networks of processors
1994
Sexualidad, Salud y Sociedad, 2022
Web services composition applying MDA
ceur-ws.org
Concurrent timed port automata
1995