More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 26

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 26, Number 1, January 2016

Introduction

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AltenkirchM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AltenkirchM16
Thorsten Altenkirch, Conor McBride:
Selected papers from Dependently Typed Programming 2010 - Overview. 1-2

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Ahrens16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Ahrens16
Benedikt Ahrens:
Modules over relative monads for syntax and semantics. 3-37
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BoveKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BoveKS16
Ana Bove, Alexander Krauss, Matthieu Sozeau:
Partiality and recursion in interactive theorem provers - an overview. 38-88
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GhaniH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GhaniH16
Neil Ghani, Peter G. Hancock:
Containers, monads and induction recursion. 89-113
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Ionescu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Ionescu16
Cezar Ionescu:
Vulnerability modelling with functional programming and dependent types. 114-128
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KansoS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KansoS16
Karim Kanso, Anton Setzer:
A light-weight integration of automated and interactive theorem proving. 129-153

Volume 26, Number 2, February 2016

Editorial Preface

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GayR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GayR16
Simon J. Gay, António Ravara:
Preface to special issue: behavioural types. 154-155

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CapecchiGY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CapecchiGY16
Sara Capecchi, Elena Giachino, Nobuko Yoshida:
Global escape in multiparty sessions. 156-205
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GiuntiV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GiuntiV16
Marco Giunti, Vasco Thudichum Vasconcelos:
Linearity, session types and the Pi calculus. 206-237
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CoppoDYP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CoppoDYP16
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. 238-302
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KouzapasYHH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KouzapasYHH16
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. 303-364

Volume 26, Number 3, March 2016

Editorial Preface

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GayR16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GayR16a
Simon J. Gay, António Ravara:
Preface to special issue: behavioural types. 365-366

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CairesPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CairesPT16
Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logic propositions as session types. 367-423
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Padovani16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Padovani16
Luca Padovani:
Fair subtyping for multi-party session types. 424-464
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GotoJJPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GotoJJPR16
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
An extensible approach to session polymorphism. 465-509
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BernardiH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BernardiH16
Giovanni Tito Bernardi, Matthew Hennessy:
Modelling session types using contracts. 510-560
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AbrahamTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AbrahamTS16
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen:
Observable interface behaviour and inheritance. 561-605

Volume 26, Number 4, May 2016

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AubertS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AubertS16
Clément Aubert, Thomas Seiller:
Characterizing co-NL by a group action. 606-638
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GorlaN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GorlaN16
Daniele Gorla, Uwe Nestmann:
Full abstraction for expressiveness: history, myths and facts. 639-654
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Parrow16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Parrow16
Joachim Parrow:
General conditions for full abstraction. 655-657
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GiacobazziM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GiacobazziM16
Roberto Giacobazzi, Isabella Mastroeni:
Making abstract models complete. 658-701
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Ruet16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Ruet16
Paul Ruet:
Local cycles and dynamical properties of Boolean networks. 702-718

Volume 26, Number 5, June 2016

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Kanovich16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Kanovich16
Max I. Kanovich:
The undecidability theorem for the Horn-like fragment of linear logic (Revisited). 719-744
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DiaconescuM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DiaconescuM16
Razvan Diaconescu, Alexandre Madeira:
Encoding hybridized institutions into first-order logic. 745-788
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HeijltjesS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HeijltjesS16
Willem Heijltjes, Lutz Straßburger:
Proof nets and semi-star-autonomous categories. 789-828
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GaboardiPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GaboardiPP16
Marco Gaboardi, Luca Paolini, Mauro Piccolo:
On the reification of semantic linearity. 829-867
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DengSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DengSC16
Yuxin Deng, Robert J. Simmons, Iliano Cervesato:
Relating reasoning methodologies in linear logic and process algebra. 868-906

Volume 26, Number 6, September 2016

Editorial Preface

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FroschleV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FroschleV16
Sibylle B. Fröschle, Frank D. Valencia:
Preface to special issue: EXPRESS 2010. 907

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Chatzikokolakis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Chatzikokolakis16
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun:
Compositional methods for information-hiding. 908-932
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaetenLMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaetenLMT16
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg:
Expressiveness modulo bisimilarity of regular expressions with parallel composition. 933-968
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LagoMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LagoMS16
Ugo Dal Lago, Simone Martini, Davide Sangiorgi:
Light logics and higher-order processes. 969-992
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FigueiraHL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FigueiraHL16
Diego Figueira, Piotr Hofman, Slawomir Lasota:
Relating timed and register automata. 993-1021
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Lowe16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Lowe16
Gavin Lowe:
Models for CSP with availability information. 1022-1053
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/PetersN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PetersN16
Kirstin Peters, Uwe Nestmann:
Breaking symmetries. 1054-1106

Volume 26, Number 7, October 2016

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Zorzi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Zorzi16
Margherita Zorzi:
On quantum lambda calculi: a foundational perspective. 1107-1195
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BoldoLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BoldoLM16
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
Formalization of real analysis: a survey of proof assistants and libraries. 1196-1233
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BonchiBCR016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BonchiBCR016
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. 1234-1268
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GuillermoM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GuillermoM16
Mauricio Guillermo, Alexandre Miquel:
Specifying Peirce's law in classical realizability. 1269-1303
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/SalvatiW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/SalvatiW16
Sylvain Salvati, Igor Walukiewicz:
Simply typed fixpoint calculus and collapsible pushdown automata. 1304-1350

Volume 26, Number 8, December 2016

Editorial Preface

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LuttikV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LuttikV16
Bas Luttik, Frank D. Valencia:
Preface to special issue: EXPRESS 2011. 1351

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CapecchiCD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CapecchiCD16
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information flow safety in multiparty sessions. 1352-1394
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CristescuH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CristescuH16
Ioana Cristescu, Daniel Hirschkoff:
Termination in a π-calculus with subtyping. 1395-1432
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LagoG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LagoG16
Ugo Dal Lago, Paolo Di Giamberardino:
On session types and polynomial time. 1433-1458
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/PetersSGN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PetersSGN16
Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann:
Synchrony versus causality in distributed systems. 1459-1498

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.