Fundamenta Informaticae, Volume 43

> Home > Journals > Fundamenta Informaticae

Volume 43, Number 1-4, July - August 2000

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/AndreevaBV00
- ask others
Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite:
Analysis of Timed Concurrent Models Based on Testing Equivalence. 1-20
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/BednarczykBS00
- ask others
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla:
Finite Completeness of Categories of Petri Nets. 21-48
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/CzajaK00
- ask others
Ludwik Czaja, Manfred Kudlek:
Rational, Linear and Algebraic Process Languages and Iteration Lemmata. 49-60
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Farwer00
- ask others
Berndt Farwer:
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. 61-79
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/ForemniakS00
- ask others
Adrianna Foremniak, Peter H. Starke:
Structural Analysis of Signal-Event Systems. 81-104
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Haar00
- ask others
Stefan Haar:
Occurrence Net Logics. 105-127
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Hannebauer00
- ask others
Markus Hannebauer:
A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. 129-151
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/LanotteMP00
- ask others
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Timed Cooperating Automata. 153-173
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/LatvalaH00
- ask others
Timo Latvala, Keijo Heljanko:
Coping With Strong Fairness. 175-193
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Lomazova00
- ask others
Irina A. Lomazova:
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. 195-214
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/MunchT00
- ask others
Ines Münch, Gabriela Lindemann von Trzebiatowski:
ChariTime - Concepts of Analysis and Design of an Agent-Oriented System for Appointment Management. 215-226
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/NepomniaschayaD00
- ask others
A. S. Nepomniaschaya, Maria A. Dvoskina:
A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors. 227-243
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/PenczekSGK00
- ask others
Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper:
Improving Partial Order Reductions for Universal Branching Time Properties. 245-267
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/PetersSS00
- ask others
James F. Peters, Andrzej Skowron, Zbigniew Suraj:
An Application of Rough Set Methods in Control Design. 269-290
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/PolkowskiS00
- ask others
Lech Polkowski, Andrzej Skowron:
Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning. 291-320
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Roch00
- ask others
Stephan Roch:
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets. 321-330
- no documents available
- export record as
  dblp key:
  - journals/fuin/Schmidt00
- ask others
Karsten Schmidt:
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform. 43(1-4): 331-341 (2000)
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/SchroterTF00
- ask others
Kay Schröter, Gabriela Lindemann von Trzebiatowski, Lutz Fritsche:
TBase2 - a Web-Based Electronic Patient Record. 343-353
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/fuin/Varpaaniemi00
- ask others
Kimmo Varpaaniemi:
Stable Models for Stubborn Sets. 355-375