Synapse-Reference-Cited by-同舟云学术

Synapse

Published:2014-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang
language:
Short-container-title:

Author:

Lamela Seijas Pablo¹,Thompson Simon¹,Taylor Ramsay²,Bogdanov Kirill²,Derrick John²

Affiliation:

1. University of Kent, Canterbury, United Kingdom

2. University of Sheffield, Sheffield, United Kingdom

Funder

Seventh Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2633448.2633457

Reference9 articles.

1. Computing the Structural Difference between State-Based Models

2. K. Bogdanov N. Walkinshaw and R. Taylor. StateChum. http://statechum.sourceforge.net/ {Accessed 14th January 2014}. K. Bogdanov N. Walkinshaw and R. Taylor. StateChum. http://statechum.sourceforge.net/ {Accessed 14th January 2014}.

3. F. Cesarini and S. Thompson. ERLANG Programming. O'Reilly Media Inc. 1st edition 2009. ISBN 0596518188 9780596518189. F. Cesarini and S. Thompson. ERLANG Programming. O'Reilly Media Inc. 1st edition 2009. ISBN 0596518188 9780596518189.

4. Behaviourally Adequate Software Testing

5. Language identification in the limit

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

2. Blockchain based Secure Erlang Server for Request based Group Communication over XMPP;2023 International Conference on Advances in Intelligent Computing and Applications (AICAPS);2023-02-01