HORNE, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Tiu, Alwen
Aman, Bogdan
Ciobanu, Gabriel
External co-authors :
yes
Language :
English
Title :
Private Names in Non-Commutative Logic
Publication date :
2016
Event name :
27th International Conference on Concurrency Theory (CONCUR 2016)
Event date :
23-26 August 2016
Main work title :
27th International Conference on Concurrency Theory (CONCUR 2016)
Luca Aceto and Matthew Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115(2):179-247, 1994. doi:10.1006/inco.1994.1096.
Andrei Alexandru and Gabriel Ciobanu. Nominal techniques for πI-calculus. Romanian Journal of Information Science and Technology, 16(4):261-286, 2013.
Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297-347, 1992. doi:10.1093/logcom/2.3.297.
Marek Bednarczyk. Hereditary history preserving bisimulations. Technical report, Polish Academy of Sciences, Gdansk, 1991.
Kai Brünnler. Deep inference and symmetry in classical proofs. PhD thesis, TU Dresden, 2003.
Kai Brünnler. Locality for classical logic. Notre Dame J. Form. Log., 47(4):557-580, 2006.
Paola Bruscoli. A purely logical account of sequentiality in proof search. In ICLP, volume 2401 of LNCS, pages 302-316. Springer, 2002. doi:10.1007/3-540-45619-8-21.
Paola Bruscoli and Alessio Guglielmi. On the proof complexity of deep inference. ACM Transactions on Computational Logic (TOCL), 10(2), 2009. doi:10.1145/1462179. 1462186.
Luís Caires and Frank Pfenning. Session types as intuitionistic linear propositions. In CONCUR 2010, pages 222-236. Springer, 2010. doi:10.1007/978-3-642-15375-4-16.
Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger. The focused calculus of structures. In EACSL, volume 12, pages 159-173, 2011. doi:10.4230/LIPIcs.CSL.2011.159.
Gabriel Ciobanu and Ross Horne. Non-interleaving operational semantics for geographically replicated databases. In SYNASC 2013, pages 440-447, 2013. doi:10.1109/SYNASC.2013.64.
Gabriel Ciobanu and Ross Horne. Behavioural analysis of sessions using the calculus of structures. In PSI 2015, 25-27 August, Kazan, Russia, volume 9609 of LNCS, 2015.
Murdoch J. Gabbay. The π-calculus in FM. In Thirty Five Years of Automating Mathematics, pages 247-269. Springer, 2003. doi:10.1007/978-94-017-0253-9-10.
Andrew Gacek, Dale Miller, and Gopalan Nadathur. Nominal abstraction. Information and Computation, 209(1):48-73, 2011. doi:10.1016/j.ic.2010.09.004.
Alessio Guglielmi. Re:encoding pi calculus in calculus of structures. post on public mailing list http://permalink.gmane.org/gmane.science.mathematics.frogs/161, 2004.
Alessio Guglielmi. A system of interaction and structure. ACM Transactions on Computational Logic, 8(1), 2007. doi:10.1145/1182613.1182614.
Alessio Guglielmi and Lutz Straßburger. A system of interaction and structure V: The exponentials and splitting. Math. Struct. Comp. Sci., 21(03):563-584, 2011. doi:10.1017/ S096012951100003X.
Kohei Honda et al. Scribbling interactions with a formal foundation. In ICDCIT 2011, volume 6536 of LNCS, pages 55-75. Springer, 2011. doi:10.1007/978-3-642-19056-8-4.
Ross Horne. The consistency and complexity of multiplicative additive system virtual. Sci. Ann. Comp. Sci., 25(2):245-316, 2015. URL: http://dx.doi.org/10.7561/SACS.2015.2.245.
Naoki Kobayashi and Akinori Yonezawa. ACL - a concurrent linear logic programming paradigm. In ILPS'93, pages 279-294. MIT Press, 1993.
Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978. doi:10.1145/359545.359563.
Patrick Lincoln and Natarajan Shankar. Proof search in first-order linear logic and other cut-free sequent calculi. In LICS'94, pages 282-291. IEEE, 1994. doi:10.1109/LICS.1994.316061.
José Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992. doi:10.1016/0304-3975(92)90182-F.
Dale Miller and Alwen Tiu. A proof theory for generic judgements. ACM Transactions on Computational Logic (TOCL), 6(4):749-783, 2005. doi:10.1145/1094622.1094628.
Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1-77, 1992. doi:10.1016/0890-5401(92)90008-4.
Peter O'Hearn and David Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5(2):215-244, 1999. doi:10.2307/421090.
Andrew Pitts. Nominal logic, a first order theory of names and binding. Information and Computation, 186(2), 2003. doi:10.1016/S0890-5401(03)00138-X.
Vaughan Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33-71, 1986. doi:10.1007/BF01379149.
Christian Retoré. Pomset logic: A non-commutative extension of classical linear logic. In TLCA'97, volume 1210 of LNCS, pages 300-318. Springer, 1997. doi:10.1007/3-540-62688-3-43.
Luca Roversi. A deep inference system with a self-dual binder which is complete for linear lambda calculus. J. of Log. and Comp., 26(2):677-698, 2016. doi:10.1093/logcom/ exu033.
Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel. Models for concurrency: towards a classification. Th. Comp. Sci., 170(1-2):297-348, 1996. doi:10.1016/S0304-3975(96) 80710-9.
Lutz Straßburger. Linear logic and noncommutativity in the calculus of structures. PhD thesis, TU Dresden, 2003.
Lutz Straßburger. Some observations on the proof theory of second order propositional multiplicative linear logic. In TLCA 2009, volume 5608 of LNCS, pages 309-324. Springer, 2009. doi:10.1007/978-3-642-02273-9-23.
Lutz Straßburger and Alessio Guglielmi. A system of interaction and structure IV: the exponentials and decomposition. TOCL, 12(4):23, 2011. doi:10.1145/1970398.1970399.
Alwen Tiu. A system of interaction and structure II: The need for deep inference. Logical Methods in Computer Science, 2(2:4):1-24, 2006. doi:10.2168/LMCS-2(2:4)2006.
Alwen Tiu and Dale Miller. Proof search specifications of bisimulation and modal logics for the π-calculus. TOCL, 11(2):13, 2010. doi:10.1145/1656242.1656248.
Rob van Glabbeek. The linear time-branching time spectrum (extended abstract). In CONCUR '90, volume 458 of LNCS, pages 278-297. Springer, 1990. doi:10.1007/BFb0039066.
Rob van Glabbeek. Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP. In Correct System Design, volume 9360 of LNCS, pages 99-130. Springer, 2015. doi:10.1007/978-3-319-23506-6-9.
Rob van Glabbeek and Ursula Goltz. Refinement of actions and equivalence notions for concurrent systems. Acta Informatica, 37(4-5):229-327, 2001. doi:10.1007/s002360000041.
Philip Wadler. Propositions as sessions. J. of Fun. Prog., 24(2-3):384-418, 2014. doi: 10.1145/2364527.2364568.
