1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Converting BPMN Diagrams to Privacy Calculus
Georgios V. Pitsiladis, Petros S. Stefaneas
The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-…
cs.LO2022★ 1 cited
A logical framework to model software development by multiple agents following a common specification
Georgios V. Pitsiladis, Petros S. Stefaneas
In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frame…