×
作者ID: 约翰·克里斯蒂安“Johansen,Christian”最近发表的zbMATH文章
发布方式: 克里斯蒂安·约翰森
已编制索引的文档: 16出版物自2010年起,包括1个附加arXiv预打印
合著者: 14合著者具有14联合出版物
179位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用21中的次16文件 引用人 年份
ST-结构。 Zbl 1353.68208号
克里斯蒂安·约翰森
5
2016
pi-calculus的稳定的无干扰早期操作语义。 Zbl 1485.68161号
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼
4
2017
生成更多偏序集N个. Zbl 07578336号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;拉坦·巴哈杜尔·塔帕
4
2020
pi-calculus的稳定的无干扰早期操作语义。 Zbl 1423.68308号
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼
2
2019
高维自动机语言。 Zbl 1495.68119号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
2
2021
阻塞通道中加速火焰前流场的数值模拟。 Zbl 1197.80048号
约翰森,C。;奇卡雷利,G。
1
2010
动态结构操作语义。 兹比尔1431.68061
克里斯蒂安·约翰森;奥维,奥拉夫
1
2019
同时进行雕塑。 Zbl 07350771号
乌里·法伦贝格;克里斯蒂安·约翰森;克里斯托弗·特罗特(Christopher A.Trotter)。;Krzysztof,Zimiañski
1
2021
以接口作为并发模型的Poset。 Zbl 1515.68204号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
1
2022
域半环联合。 Zbl 1499.16144号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
1
2022
以接口作为并发模型的Poset。 Zbl 1515.68204号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
1
2022
域半环联合。 Zbl 1499.16144号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
1
2022
高维自动机语言。 Zbl 1495.68119号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski
2
2021
同时进行雕塑。 Zbl 07350771号
乌里·法伦贝格;克里斯蒂安·约翰森;克里斯托弗·特罗特(Christopher A.Trotter)。;Krzysztof,Zimiañski
1
2021
生成更多偏序集N个. Zbl 07578336号
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;拉坦·巴哈杜尔·塔帕
4
2020
pi-calculus的稳定的无干扰早期操作语义。 Zbl 1423.68308号
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼
2
2019
动态结构操作语义。 Zbl 1431.68061号
克里斯蒂安·约翰森;奥维,奥拉夫
1
2019
pi-calculus的稳定的无干扰早期操作语义。 Zbl 1485.68161号
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼
4
2017
ST-结构。 Zbl 1353.68208号
克里斯蒂安·约翰森
5
2016
阻塞通道中加速火焰前流场的数值模拟。 兹比尔1197.80048
约翰森,C。;奇卡雷利,G。
1
2010

按年份列出的引文