Plociniczak, HubertEisenbach, Susan2011-12-162011-12-162011-12-16201010.1007/978-3-642-13414-2_5https://infoscience.epfl.ch/handle/20.500.14299/75360WOS:000279569800005ERLANG is an industrially successful functional language that uses the Actor model for concurrency. It supports the message-passing paradigm by providing pattern-matching over received messages. Unfortunately coding synchronisation between multiple processes is not straightforward. To overcome this limitation we designed and implemented JERLANG, a JOIN-CALCULUS inspired extension to ERLANG. We provide a rich set of language features with our joins. We present implementation details of our two alternative solutions, a library and an altered VM. Our optimisations provide JERLANG with good performance.ConcurrencyJoin-CalculusErlangStatic AnalysisPatterntext::conference output::conference proceedings::conference paper