Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems

作者： Sandeep K. Shukla , Michael Theobald

关键词: Context (language use) 、 Engineering management 、 Systems design 、 Simulation 、 Premise 、 Statement (computer science) 、 Asynchronous communication 、 Formal methods 、 Computer science 、 Event (computing)

摘要: This special issue is based on innovative ideas presented and discussed during the first International Workshop Formal Methods for Globally Asynchronous Locally Synchronous Systems (FMGALS) held in conjunction with Europe (FME) conference Pisa, Italy, fall of 2003. one-day workshop was initiated to bring together researchers area formal methods, system design languages, asynchronous hardware design, GALS design. The event co-operation ACM SIGDA SIGARCH. Since this incarnation, another FMGALS Verona, Italy 2005. A that already planned. One great outcome an community has been established through a moderated mailing list. Information research result exchanges are taking place among various communities who engaged aimed at providing theoretical foundations industrial practices, de-synchronization theory proposed by Programming community. Selected papers from 2003 were invited open call soliciting novel contributions topics conference. Rigorous reviews 12 submissions led selection five papers. In editorial statement, we outline premise context issue, briefly introduce selected.