×

时间自动机网络的符号展开。 (英语) Zbl 1161.68615号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,307-321(2006)。
摘要:本文给出了时间自动机网络(NTA)基于扩展符号网的符号并发语义。扩展符号网是用读取圆弧和位置和转换上的符号约束扩展的标准出现网。我们证明了任何NTA都有一个完整的有限前缀,该前缀至少包含NTA模拟图的信息,但明确了网络的并发性和因果关系的概念。
关于整个系列,请参见[Zbl 1137.68008号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部