FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Modelling with Reconfigurable Communication Interfaces

Author: Nir Piterman

Paper Information

Title:Modelling with Reconfigurable Communication Interfaces
Authors:Nir Piterman
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:model checking, message passing, transition systems, reconfigurable interaction
Pages:1
Talk:Jul 31 11:20 (Session 10L)
Paper: