Fundamenta Informaticae, Volume 43
Volume 43, Number 1-4, July - August 2000
Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite: Analysis of Timed Concurrent Models Based on Testing Equivalence. 1-20- Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla: Finite Completeness of Categories of Petri Nets. 21-48
- Ludwik Czaja, Manfred Kudlek: Rational, Linear and Algebraic Process Languages and Iteration Lemmata. 49-60
- Berndt Farwer: A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. 61-79
- Stefan Haar: Occurrence Net Logics. 105-127
- Markus Hannebauer: A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. 129-151
- Irina A. Lomazova: Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. 195-214
- Ines Münch, Gabriela Lindemann von Trzebiatowski: ChariTime - Concepts of Analysis and Design of an Agent-Oriented System for Appointment Management. 215-226
- A. S. Nepomniaschaya, Maria A. Dvoskina: A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors. 227-243
- Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper: Improving Partial Order Reductions for Universal Branching Time Properties. 245-267
- James F. Peters, Andrzej Skowron, Zbigniew Suraj: An Application of Rough Set Methods in Control Design. 269-290
- Lech Polkowski, Andrzej Skowron: Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning. 291-320
- Stephan Roch: Analyzing and Reducing Simultaneous Firing in Signal-Event Nets. 321-330
- Karsten Schmidt: Stubborn Sets for Model Checking the EF/AG Fragment of CTL. 331-341
- Kay Schröter, Gabriela Lindemann von Trzebiatowski, Lutz Fritsche: TBase2 - a Web-Based Electronic Patient Record. 343-353
- Kimmo Varpaaniemi: Stable Models for Stubborn Sets. 355-375
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-08T180745 by the dblp team