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 - 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 - Karsten Schmidt:
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform. 43(1-4): 331-341 (2000) - Kay Schröter, Gabriela Lindemann von Trzebiatowski, Lutz Fritsche:
TBase2 - a Web-Based Electronic Patient Record. 343-353