Axiomatizing the algebra of net computations and processes (English)
National licence
- New search for: Degano, Pierpaolo
- New search for: Meseguer, José
- New search for: Montanari, Ugo
- New search for: Degano, Pierpaolo
- New search for: Meseguer, José
- New search for: Montanari, Ugo
In:
Acta Informatica
;
33
, 5
;
641-667
;
1996
- Article (Journal) / Electronic Resource
-
Title:Axiomatizing the algebra of net computations and processes
-
Contributors:
-
Published in:Acta Informatica ; 33, 5 ; 641-667
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:1996-08-01
-
Size:27 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 33, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 409
-
Forgetting automata and context-free languagesJančar, Petr / Mráz, František / Plátek, Martin et al. | 1996
- 421
-
Algebraic models of microprocessors architecture and organisationHarman, N. A. / Tucker, J. V. et al. | 1996
- 457
-
Syntactic complexity of context-free grammars over word monoidsMeduna, Alexander et al. | 1996
- 463
-
Undecidability of restricted uniform recurrence equationsWanke, E. et al. | 1996
- 477
-
Category-based modularisation for equational logic programmingDiaconescu, Răzvan et al. | 1996
- 511
-
Disambiguating grammars by exclusion of sub-parse treesThorup, Mikkel et al. | 1996
- 523
-
A kernel language for programmed rewriting of (hyper)graphsMaggiolo-Schettini, Andrea / Winkowski, Józef et al. | 1996
- 547
-
Chromatic binary search treesNurmi, Otto / Soisalon-Soininen, Eljas et al. | 1996
- 559
-
On the recognition of permuted Supnick and incomplete Monge matricesDeineko, Vladimir / Rudolf, Rüdiger / Woeginger, Gerhard J. et al. | 1996
- 571
-
The linear landscape of external contextual languagesEhrenfeucht, Andrzej / Păun, Gheorghe / Rozenberg, Grzegorz et al. | 1996
- 595
-
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systemsRao, M. R. K. Krishna et al. | 1996
- 607
-
Parallel integer sorting and simulation amongst CRCW modelsSaxena, Sanjeev et al. | 1996
- 621
-
Trial and errorAmeur, Foued / Fischer, Paul / Höffgen, Klaus -U. / Heide, Friedhelm Meyer et al. | 1996
- 631
-
An observation on suffix redundancy in LL(1) error repairBertsch, Eberhard et al. | 1996
- 641
-
Axiomatizing the algebra of net computations and processesDegano, Pierpaolo / Meseguer, José / Montanari, Ugo et al. | 1996
- 669
-
On the analysis of Petri nets with static prioritiesBause, Falko et al. | 1996
- 687
-
Reduction rules for time Petri netsSloan, Robert H. / Buy, Ugo et al. | 1996
- 707
-
Calculi for interactionMilner, Robin et al. | 1996
- 739
-
On the sequential nature of interprocedural program-analysis problemsReps, Thomas et al. | 1996
- 759
-
A system that looks for axiomsBiela, Andrzej / Borowczyk, Jakub et al. | 1996
- 781
-
A direct complement construction forLR(1) grammarsHeilbrunner, Stephan et al. | 1996
- 799
-
Acknowledgement to referees| 1996