Fundamenta Informaticae - Tom Vol. 43, Nr 1-4 (2000) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 43, Nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2000

Identyfikatory

Zawartość wolumenu

Vol. 43, Nr 1-4
- artykuł: Analysis of timed concurrent models based on testing equivalence (Andreeva M. V., Bozhenkova E. N., Virbitskaite I. B.), s. 1-20
- artykuł: Finite completeness of categories of Petri nets (Bednarczyk M. A., Borzyszkowski A. M., Somla R.), s. 21-48
- artykuł: Rational, Linear and algebraic process languages and iteration lemmata (Czaja L., Kudlek M.), s. 49-60
- artykuł: A Multi-region Linear Logic based calculus for dynamic Petri net structures (Farwer B.), s. 61-79
- artykuł: Structural analysis of Signal-Event Systems (Foremniak A., Starke P. H.), s. 81-104
- artykuł: Occurrence net logics (Haar S.), s. 105-127
- artykuł: A formalization of autonomous dynamic reconfiguration in distributed constraint satisfaction (Hannebauer M.), s. 129-151
- artykuł: Timed Cooperating Automata (Lanotte R., Maggiolo-Schettini A.), s. 153-173
- artykuł: Coping with strong fairness (Latvala T., Heljanko K.), s. 175-193
- artykuł: Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems (Lomazova I. A.), s. 195-214
- artykuł: ChariTime - concepts of analysis and design of an agent-oriented system for appointment management (Münch I., Lindemann-v.Trzebiatowski G.), s. 215-226
- artykuł: A simple implementation of Dijkstra's shortest path algorithm on associative parallel processors (Nepomniaschaya A. S., Dvoskina M. A.), s. 227-243
- artykuł: Improving partial order reductions for universal branching time properties (Penczek W., Szreter M., Gerth R., Kuiper R.), s. 245-267
- artykuł: An application of rough set methods in control design (Peters J. F., Skowron A., Suraj Z.), s. 269-290
- artykuł: Rough Mereology in information systems with applications to qualitative spatial (Polkowski L., Skowron A.), s. 291-320
- artykuł: Analyzing and reducing simultaneous firing in signal-event nets (Roch S.), s. 321-330
- artykuł: Stubborn sets for model checking the EF/AG fragment of CTL (Schmidt K.), s. 331-341
- artykuł: TBase2 - a web-based electronic patient record (Schröter K., Lindemann-v.Trzebiatowski G., Fritsche L.), s. 343-353
- artykuł: Stable models for stubborn sets (Varpaaniemi K.), s. 355-375

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.