Publikacje
1.
NEW SOLUTION OF DINING
PHILOSOPHERS, in Fundamentals of Computation Theory,
LNCS 56, 1977
2. SOME REMARKS ON CORRECTNESS PROVING FOR PARALLEL PROGRAMS, COLLOQUIA MATH. SOC. J. Bolyai, 26. Math. Logic in Comp, Sci, 1978
3.
CORRECTNESS PROOF OF A
PARALLEL PROGRAM "JACOBI", ICS
PAS Reports 332, 1978
4.
COMPUTATIONAL PROCESS
GENERATED BY PROGRAMS WITH (RECURSIVE) PROCEDURES AND BLOCK STRUCTURES, Fundamenta Informaticae, 1978 (with T. Muldner and A. Salwicki)
5. ALGORITHMIC LOGIC CAN EXPRESS PROGRESSIVE BEHAVIOUR OF PROGRAMS, COLLOQUIA MATH. SOC. J. Bolyai, 42. Algebra, Combinatorics and Logic in Comp, Sci,
1983
6.
AXIOMATIC APPROACH TO THE
SYSTEM OF FILES, Logics of Programs and Their
Applications, LNCS 148, 1983
7.
ON P - NORMAL FORM OF PARALLEL
PROGRAM, Fundamenta Informaticae VII, 1984
8.
SOME REMARKS ON SAFETY IN
CONFLICT THEORY, Demonstratio Mathematicae,
1988 (with E. Stankiewicz -Wiechno)
9.
METHODS OF COMMUNICATION AND
SYNCHRONIZATIONS IN DISTRIBUTED SYSTEMS,
Information and Control, 1990 (with T. Berus)
10.
ACCEPTING MULTI - AGENT
SYSTEM: THE CASE OF COOPERATING AUTOMATA, ACS
2002 (with F. Okulicka - Dłuzewska)
11.
eXtreme Testing, SJSI, 2003
12. Testy w po¶piechu, Computerworld, nr 40/643, 2
listopada 2004, strony 44-45
13. Distributed Process Control
System – PERCOSS, konferencja SCALNET’04, Kremenchuk, Ukraina, 28 – 30
wrzesień 2004, strony 124-127, (with K. Kaczmarski., A. Kornacki, M. Pilarski)
|
