Tomasz Janowski

• Specification case studies in RAISE
• Bisimulation and fault-tolerance
• Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance
• Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance