| |
Aronis, Stavros
|
Erlang '18: "Modelling Distributed Erlang ..."
Modelling Distributed Erlang within a Single Node
Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
(Erlang Solutions, Sweden; Klarna Bank, Sweden)
@InProceedings{Erlang18p25,
author = {Stavros Aronis and Viktória Fördős and Dániel Szoboszlay},
title = {Modelling Distributed Erlang within a Single Node},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3239332.3242764},
year = {2018},
}
 Publisher's Version
Article: icfpws18erlangmain-id3-p doi:10.1145/3239332.3242764
|
| |
Brandt, Jörgen
|
Erlang '18: "Modeling Erlang Processes ..."
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
@InProceedings{Erlang18p61,
author = {Jörgen Brandt and Wolfgang Reisig},
title = {Modeling Erlang Processes as Petri Nets},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3239332.3242767},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id9-p doi:10.1145/3239332.3242767
|
| |
Fördős, Viktória
|
Erlang '18: "Modelling Distributed Erlang ..."
Modelling Distributed Erlang within a Single Node
Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
(Erlang Solutions, Sweden; Klarna Bank, Sweden)
@InProceedings{Erlang18p25,
author = {Stavros Aronis and Viktória Fördős and Dániel Szoboszlay},
title = {Modelling Distributed Erlang within a Single Node},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3239332.3242764},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id3-p doi:10.1145/3239332.3242764
Erlang '18: "Towards Secure Erlang Systems ..."
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)
@InProceedings{Erlang18p67,
author = {Alexandre Jorge Barbosa Rodrigues and Viktória Fördős},
title = {Towards Secure Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3239332.3242768},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id10-p doi:10.1145/3239332.3242768
|
| |
Gerdes, Alex
|
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
|
| |
Hanenberg, Stefan
|
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
|
| |
Harrison, Joseph |
Erlang '18: "Automatic Detection of Core ..."
Automatic Detection of Core Erlang Message Passing Errors
Joseph Harrison
(University of Kent, UK)
@InProceedings{Erlang18p37,
author = {Joseph Harrison},
title = {Automatic Detection of Core Erlang Message Passing Errors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3239332.3242765},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id7-p doi:10.1145/3239332.3242765
|
| |
Hughes, John |
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
Erlang '18: "Typing the Wild in Erlang ..."
Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)
@InProceedings{Erlang18p49,
author = {Nachiappan Valliappan and John Hughes},
title = {Typing the Wild in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3239332.3242766},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id8-p doi:10.1145/3239332.3242766
|
| |
Ivarsson, Sebastian
|
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
|
| |
Majumdar, Rupak
|
Erlang '18: "iDeA: An Immersive Debugger ..."
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)
@InProceedings{Erlang18p1,
author = {Aman Shankar Mathur and Burcu Kulahcioglu Ozkan and Rupak Majumdar},
title = {iDeA: An Immersive Debugger for Actors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3239332.3242762},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id1-p doi:10.1145/3239332.3242762
|
| |
Mathur, Aman Shankar |
Erlang '18: "iDeA: An Immersive Debugger ..."
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)
@InProceedings{Erlang18p1,
author = {Aman Shankar Mathur and Burcu Kulahcioglu Ozkan and Rupak Majumdar},
title = {iDeA: An Immersive Debugger for Actors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3239332.3242762},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id1-p doi:10.1145/3239332.3242762
|
| |
Ozkan, Burcu Kulahcioglu
|
Erlang '18: "iDeA: An Immersive Debugger ..."
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)
@InProceedings{Erlang18p1,
author = {Aman Shankar Mathur and Burcu Kulahcioglu Ozkan and Rupak Majumdar},
title = {iDeA: An Immersive Debugger for Actors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3239332.3242762},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id1-p doi:10.1145/3239332.3242762
|
| |
Reisig, Wolfgang
|
Erlang '18: "Modeling Erlang Processes ..."
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
@InProceedings{Erlang18p61,
author = {Jörgen Brandt and Wolfgang Reisig},
title = {Modeling Erlang Processes as Petri Nets},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3239332.3242767},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id9-p doi:10.1145/3239332.3242767
|
| |
Rodrigues, Alexandre Jorge Barbosa |
Erlang '18: "Towards Secure Erlang Systems ..."
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)
@InProceedings{Erlang18p67,
author = {Alexandre Jorge Barbosa Rodrigues and Viktória Fördős},
title = {Towards Secure Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3239332.3242768},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id10-p doi:10.1145/3239332.3242768
|
| |
Smallbone, Nicholas
|
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
|
| |
Szoboszlay, Dániel |
Erlang '18: "Modelling Distributed Erlang ..."
Modelling Distributed Erlang within a Single Node
Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
(Erlang Solutions, Sweden; Klarna Bank, Sweden)
@InProceedings{Erlang18p25,
author = {Stavros Aronis and Viktória Fördős and Dániel Szoboszlay},
title = {Modelling Distributed Erlang within a Single Node},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3239332.3242764},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id3-p doi:10.1145/3239332.3242764
|
| |
Valliappan, Nachiappan
|
Erlang '18: "Typing the Wild in Erlang ..."
Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)
@InProceedings{Erlang18p49,
author = {Nachiappan Valliappan and John Hughes},
title = {Typing the Wild in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3239332.3242766},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id8-p doi:10.1145/3239332.3242766
|
| |
Wang, Meng
|
Erlang '18: "Understanding Formal Specifications ..."
Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
|