IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Axiomatizing prefix closed regular languages"

by Marcello Bonsangue

Thu, 08 September 2022 at 12:30 pm in Lipari, Italy

Joint work with: Melissa Sugimoto

Abstract: In this talk I will discuss a sound and complete axiomatization of prefix closed (synchronous) regular languages