1.A Complete Axiomatisation of a Fragment of Language Algebra

作　　者：Paul Brunet

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-15.doi:10.4230/LIPIcs.CSL.2020.11

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494212

文章详细全文下载

2.Kleene Algebra with Observations

作　　者：Tobias Kapp ;Paul Brunet ;Jurriaan Rot 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.41

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891949

文章详细全文下载

3.A Kleene Theorem for Nominal Automata

作　　者：Paul Brunet ;Alexandra Silva

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-13.doi:10.4230/LIPIcs.ICALP.2019.107

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892242

文章详细全文下载

4.Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

作　　者：Tobias Kapp{\'e ;Paul Brunet ;Bas Luttik 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:25:1-25:16.doi:10.4230/LIPIcs.CONCUR.2017.25

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735191

文章详细全文下载

5.On Decidability of Concurrent Kleene Algebra

作　　者：Paul Brunet ;Damien Pous ;Georg Struth

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:28:1-28:15.doi:10.4230/LIPIcs.CONCUR.2017.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735194

文章详细全文下载

6.Reversible Kleene lattices

作　　者：Paul Brunet

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:66:1-66:14.doi:10.4230/LIPIcs.MFCS.2017.66

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510120

文章详细全文下载

7.Partially Observable Concurrent Kleene Algebra

作　　者：Jana Wagemaker ;Paul Brunet ;Simon Docherty 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:20:1-20:22.doi:10.4230/LIPIcs.CONCUR.2020.20

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822879

文章详细全文下载

8.Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra

作　　者：Paul Brunet ;David Pym

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:8:1-8:16.doi:10.4230/LIPIcs.FSCD.2020.8

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823185

文章详细全文下载

9.A Formal Exploration of Nominal Kleene Algebra

作　　者：Paul Brunet ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:22:1-22:13.doi:10.4230/LIPIcs.MFCS.2016.22

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847849

文章详细全文下载

	Paul Brunet	9篇
	Alexandra Silva	4篇
	Damien Pous	2篇
	Fabio Zanasi	2篇
	Jana Wagemaker	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Paul Brunet")))) )) ) )"

	Jurriaan Rot	2篇
	Tobias Kapp	2篇
	Bas Luttik	1篇
	David Pym	1篇
	Georg Struth	1篇
	Simon Docherty	1篇
	Tobias Kapp{\'e	1篇