Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection. - Barbara E. Wójcik; Zbigniew M. Wójcik (IEEE Trans. Software Eng., 1989)

Fault tolerant distributed computing using atomic send-receive checkpoints. - Zbigniew M. Wójcik; Barbara E. Wójcik (SPDP, 1990)

Termination condition for a parallel shape coding and a parallel shape coding algorithm. - Zbigniew M. Wójcik; Barbara E. Wójcik (SPDP, 1990)

Principles of the parallel shape coding with the termination condition. - Zbigniew M. Wójcik; Barbara E. Wójcik (ACM Conference on Computer Science, 1991)

Rough Grammar For Efficient and Fault-Tolerant Computing on a Distributed System. - Zbigniew M. Wójcik; Barbara E. Wójcik (IEEE Trans. Software Eng., 1991)

Rough Grammar for High Performance Management of Processes on a Distributed System. - Zbigniew M. Wójcik; Barbara E. Wójcik (Intelligent Decision Support, 1992)

Optimal Algorithm for Real-Time Fault Tolerant Distributed Processing Using Checkpoints. - Zbigniew M. Wójcik; Barbara E. Wójcik (Informatica (Slovenia), 1995)

Termination Conditions for Parallel Shape Recognition. - Zbigniew M. Wójcik; Barbara E. Wójcik (Informatica (Slovenia), 1995)