BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260530T165153Z
UID:Seminar-verification-683@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20190509T140000
DTEND:20190509T150000
SUMMARY:Verification Series
DESCRIPTION:Irina Lomazova: Modeling concurrent behavior: between expressibility and decidability\n\nThe modern computational paradigm shifts from traditional centralized computing on workstations, servers, or groups of servers, to distributed, decentralized, loosely coupled computing (cloud, ubiquitous, etc.). Correctness and safeness of distributed systems is a matter of utmost importance, and formal methods are used for modeling and analysis of such systems.\n\nIn this talk, we review some automata-based models of concurrent systems, in particular Petri net extensions, and discuss the balance between expressibility of modeling languages and decidability of behavioral properties.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=683
LOCATION:
END:VEVENT
END:VCALENDAR