Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Michele Loreti

School of Science and Technology - Computer Science Division
University of Camerino
Research topics: Main topics of such researches are: - study of process calculi and their semantics for modelling qualitative and quantitative aspects of large scaled systems; - definition of formal tools, like modal logics, for specifying and verifying properties of mobile and distribued systems; - development of tools for supporting the (semi-)automatic analysis concurrent and distributed systems; - definition of core languages, which are equipped with primitives inspired by process calculi, for programming distributed applications; - development of frameworks for supporting the development of runtime environments for programming languages based on process algebras. (updated at 2021-04-06)