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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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