Fundamenta Informaticae - Tom Vol. 37, Nr 3 (1999) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 37, Nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

1999

Identyfikatory

Zawartość wolumenu

Vol. 37, Nr 3
- artykuł: ILF and DAWN for verifying distributed algorithms : an idea for a tool (Baar T., Kindler E.), s. 201-211
- artykuł: Net-definability of process languages (Czaja L.), s. 213-223
- artykuł: A Linear Logic view of object Petri Nets (Farwer B.), s. 225-246
- artykuł: Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri Nets (Heljanko K.), s. 247-268
- artykuł: Finding symmetries of algebraic system nets (Junttila T.A.), s. 269-289
- artykuł: Integrating Distributed Algorithms into distributed systems (Kindler E., Peuker S.), s. 291-309
- artykuł: Analyzing paths in Time Petri Nets (Popova-Zeugmann L., Schlatter D.), s. 311-327

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ć.