Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 43
Volume 43, Number 1-4, July - August 2000
- Maria V. Andreeva, Elena N. Bozhenkova, Irina B. 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 - Adrianna Foremniak, Peter H. Starke:
Structural Analysis of Signal-Event Systems. 81-104 - Stefan Haar:
Occurrence Net Logics. 105-127 - Markus Hannebauer:
A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. 129-151 - Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Timed Cooperating Automata. 153-173 - Timo Latvala, Keijo Heljanko:
Coping With Strong Fairness. 175-193 - 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. Fundam. Informaticae 43(1-4): 331-341 (2000) - 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
