Found 6 Documents (Results 1–6)
On orderings in security models. (English) Zbl 1498.68057
Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 370-393 (2021).
Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020).
MSC:
68Q85
The sub-additives: a proof theory for probabilistic choice extending linear logic. (English) Zbl 1528.68254
Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 23, 16 p. (2019).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (3)
all
top 5
Author
- Horne, Ross (4)
- Straßburger, Lutz (2)
- Acclavio, Matteo (1)
- Nguyên, Lê Thành Dũng (1)
- Rowe, Paul D. (1)
- Tiu, Alwen Fernanto (1)