|
12.06.2003 Antoni Mazurkiewicz, IPI PAN
|
 |
Bilateralne negocjacje - cd
|
|
22.05.2003 Andrzej Grzegorczyk
|
|
Obliczalność i dowód nierozstrzygalności
logiki bez arytmetyzacji
|
|
24.04.2003 Antoni Mazurkiewicz, IPI PAN
|
|
Bilateralne negocjacje
|
|
9.04.2003 S. P. Suresh
|
|
The Institute of Mathematical Sciences, Chennai, India
Decidable subclasses of security protocols
|
|
3.04.2003 Marek A. Bednarczyk, IPI PAN
|
|
O wyższości Sieci Elementarnych nad innymi
klasami Sieci Petriego i odwrotnie
|
|
20.03.2003 Piotr Chrzastowski Uniwersytet Warszawski
|
|
Hierarchiczny model przeplywow pracy
za pomoca sieci Petriego
|
|
6.03.2003 Marek A. Bednarczyk, IPI PAN filia Gdańsk
|
|
O naturze synchronizacji systemów
asynchronicznych
|
|
20.02.2003 Józef Winkowski
|
|
Algebraiczna charakteryzacja niezależności procesów
definiowanych przez sieci Petriego
|
|
16.01.2003 Arnon Avron
|
|
Transitive Closure, Induction, and Church Thesis
|
|
9.01.2003 Mirosław Kurkowski
|
|
Weryfikacja protokołów uwierzytelniania metodą
indukcji odwrotnej
|
|
12.12.2002 Stanisław Ambroszkiewicz
|
|
Entish: eLingua for Service Description
and Composition
|
|
28.11.2002 Michel Bidoit
|
|
On the Integration of Observability
and Reachability Concepts
|
|
21.11.2002 Sławomir Lasota
|
|
Rozstrzygalność silnej równoważności bisymulacyjnej
dla algebry procesów z czasem
|
|
7.11.2002 Wiktor B. Daszczuk, Politechnika Warszawska
|
|
Weryfikacja modelowa w środowisku COSMA
|
|
24.10.2002 Bożena Woźna , WSP Częstochowa
|
|
Ograniczona Weryfikacja Modelowa dla Uniwersalnego
Fragmentu TCTL
|
|
17.10.2002 Stefan Sokołowski, IPI PAN
|
|
PO-rozmaitości: w pogoni za dobrym topologicznym
modelem dla współbieżności
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum - 2002/2003 
