Structure theory of multi-level deterministically synchronized sequential processes

Theoretical Computer Science

Volumn 254, Issue 1-2, 2001, Pages 1-33

  Recalde, Laura ^a   Teruel, Enrique ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIALS; RECURSIVE FUNCTIONS; THEOREM PROVING;

MULTILEVEL DETERMINISTICALLY SYNCHRONIZED SEQUENTIAL PROCESSES;

DIGITAL ARITHMETIC;

EID: 0034921380     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00112-7     Document Type: Article

References (15)

1. Marked directed graphs
2. Petri nets: Properties, analysis and applications
3. On well-formedness analysis: The case of deterministic systems of sequential processes
4. {SC}*ECS: A class of modular and hierarchical cooperating systems
5. Modeling and analysis of sequential processes that cooperate through buffers
6. Deterministic buffer synchronization of sequential processes
7. Towards a synchrony theory for P/T nets
8. On the computation of structural synchronic invariants in P/T nets
9. Deterministic systems of sequential processes: A class of structured Petri nets
10. Deterministic systems of sequential processes: Theory and tools
11. Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals
12. Structure theory of equal conflict systems