×
安徒生，约根·H·。;Kristoffersen，Káre J。;Larsen，Kim G。;杰斯珀·尼德曼

实时系统的自动合成。 （英语） Zbl 1412.68136号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 535-546 (1995).
关于整个系列，请参见[Zbl 0844.00016号].

引用于1文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit｛J.H.Andersen｝等人，Lect。注释计算。科学。944535-546（1995年；Zbl 1412.68136）
全文： 内政部

参考文献：

[1] R.Alur、C.Courcoubetis和D.Dill。实时系统的模型检查。在《计算机科学中的逻辑学报》中，第414-425页。IEEE计算机学会出版社，1990年·Zbl 0769.68088号
[2] R.Alur和D.Dill。实时系统建模自动机\（理论计算机科学），126（2）：183-2361994年4月·Zbl 0803.68071号
[3] R.Alur和T.A.Henzinger。一个真正的时间逻辑。1989年，《计算机科学基础》，IEEE计算机科学基础研讨会论文集·Zbl 0807.68065号
[4] 卡利斯·塞兰。并行定时器进程的互模拟等价性的决定。1992年，柏林，《计算机科学讲义》第663卷（CAV’92会议录）。斯普林格·弗拉格·Zbl 0977.68527号
[5] K.Cerans、J.C.Godskesen和K.G.Larsen。定时模态规范-理论和工具。《第五届计算机辅助验证国际会议论文集》，第697卷（计算机科学讲稿），1993年。
[6] J.C.Godskesen\（定时模式规范-实时并发系统验证理论）。奥尔堡大学博士论文，1994年。
[7] G.E.Hughes和M.J.Cresswell\（模态逻辑导论）。Methuen公司，1968年·Zbl 0205.00503号
[8] H.Hüttel和K.G.Larsen。模态过程逻辑中静态结构的使用。In（Botik’89的逻辑）。，1989年《计算机科学讲义》第363卷·Zbl 0683.03014号
[9] U.Holmer、K.G.Larsen和W.Yi。正则时间过程之间互模拟等价性的判定。《CAV’91会议录》，第575卷，计算机科学讲稿，柏林，1992年。
[10] M.Hennessy和R.Milner。不确定性和并发性的代数定律\（《计算机协会期刊》，第137-1611985页·Zbl 0629.68021号
[11] T.A.Henzinger、Z.Nicollin、J.Sifakis和S.Yovine。实时系统的符号模型检查。《计算机科学中的逻辑》，1992年·Zbl 0806.68080号
[12] O.H.Jensen、J.T.Lang、C.Jeppesen和K.G.Larsen。模态逻辑中隐式规范的模型构造。《第四届并行理论国际会议论文集》，第715卷，计算机科学讲稿，1993年。
[13] P.Lewis和H.Qin。观测等价下有限状态机的因式分解\（《计算机科学讲义》，斯普林格·弗拉格），4581990年。
[14] K.G.Larsen和A.Skou。概率过程的成分验证\（1992年CONCUR会议记录）。出现在计算机科学课堂讲稿中。，1992
[15] K.G.Larsen和L.Xinxin。使用模态转换系统求解方程\（摘自《计算机科学中的逻辑学报》），1990年。
[16] K.G.Larsen和L.Xinxin。通过上下文的操作语义实现合成。1990年，《计算机科学讲义》第443卷（ICALP’90会议录）·Zbl 0765.68107号
[17] K.G.Larsen和L.Xinxin。通过上下文的操作语义实现合成\（《逻辑与计算杂志》），1（6）：761-7951991年·Zbl 0738.68056号
[18] K.G.Larsen和W.Yi。时间抽象的双模拟：隐含规范和可决策性。1993年《MFPS会议记录》·Zbl 0887.68068号
[19] X.Nicollin、J.L.Richierand、J.Sifakis和J.Voiron。ATP：时间进程的代数，。《IFIP TC 2编程概念和方法工作会议记录》，IFIP，1990年。
[20] X.Nicollin、J.Sifakis和S.Yovine。从ATP到定时图和混合系统。1991年《计算机科学讲义》第600卷。实时：理论在实践中·Zbl 0790.68067号
[21] J.帕罗。CCS中作为方程求解的子模块构造\（理论计算机科学），681989年·Zbl 0686.68017号
[22] M.W.屏蔽。关于简单界面方程的注记。技术报告SE/079/1，坎特伯雷肯特大学，电子工程实验室大学，1986年6月。
[23] W.Yi。异步代理的实时行为。《并发理论：统一与扩展》，第458卷，计算机科学讲义，1990年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。