×

找到55个文档（结果1-55）

最新 引文 关联
库特波夫，V.P。

描述并行进程的模型和语言。 （英语。俄文原件） Zbl 1484.68142号

J.计算。系统。科学。国际。 57，第3号，471-481（2018）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2018年，第3期，116-127（2018）。
MSC公司：68问题85 68甲19 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Kutepov}，J.计算。系统。科学。国际57号，第3号，471--481（2018；Zbl 1484.68142）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2018年第3期，116-127（2018）
全文： 内政部
兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。

进程代数和模型检查。 （英语） Zbl 1392.68243号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，in：模型检查手册。查姆：斯普林格。1149-1195（2018年；兹比尔1392.68243）
全文： 内政部
穆萨布·阿尔图尔基。;何塞·梅塞盖尔

Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号

J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.
MSC公司：68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169）
全文： 内政部
埃尔蒙特，杰罗姆;弗莱德里克·博尼奥尔

TPAP：用共享资源验证实时系统的抢占式进程代数。 （英语） Zbl 1270.68212号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，68-85（2002）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ermont}和\textit{F.Boniol}，电子。注释Theor。计算。科学。65，第6号，68--85（2002；Zbl 1270.68212）
全文： 内政部
弗拉维奥·科拉迪尼

过程代数中的绝对时间与相对时间。 （英语） Zbl 0911.68137号

Palamidessi，C.（编辑）等人，《快递》，97年。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第7、20页（1997年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Corradini}，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。20页（1997年；Zbl 0911.68137）
全文： 链接
Baeten，J.C.M。;J.A.伯格斯特拉。

具有抽象的离散时间过程代数。 （英语） Zbl 1504.68137号

Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 1-15 (1995).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}和textit{J.A.Bergstra}，莱克特。注释计算。科学。965，1-15（1995年；Zbl 1504.68137）
全文： 内政部 链接
伊丽莎白·伦纳德。;艾米·扎里科（Amy E.Zwarico）。

开发和维护实时系统的代数框架。 （英语） Zbl 1496.68237号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 338-352 (1995).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Leonard}和\textit{A.E.Zwarico}，莱克特。注释计算。科学。936338-352（1995年；Zbl 1496.68237）
全文： 内政部
陈亮

实时过程的公理化。 （英语） Zbl 1509.68185号

Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 215-229 (1994).
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}，莱克特。注释计算。科学。802、215——229（1994年；Zbl 1509.68185）
全文： 内政部
弗兰克·范·布鲁格尔

推广标记转移系统的有限性条件。 （英语） Zbl 1422.68173号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 376-387 (1994).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.van Breugel}，莱克特。注释计算。科学。820376-387（1994年；Zbl 1422.68173）
全文： 内政部
法隆·莫勒;托夫斯，克里斯

TCCS中的行为抽象。 （英语） Zbl 1425.68299号

Kuich，Werner（编辑），自动机，语言和编程。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 559-570 (1992).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Moller}和\textit{C.Tofts}，莱克特。注释计算。科学。623559-570（1992年；Zbl 1425.68299）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件