Segui
Julien Lange
Titolo
Citata da
Citata da
Anno
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1762015
A static verification framework for message passing in go using behavioural types
J Lange, N Ng, B Toninho, N Yoshida
Proceedings of the 40th International Conference on Software Engineering …, 2018
932018
Fencing off go: liveness and safety for channel-based programming
J Lange, N Ng, B Toninho, N Yoshida
ACM SIGPLAN Notices 52 (1), 748-761, 2017
812017
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
702012
On the undecidability of asynchronous session subtyping
J Lange, N Yoshida
Foundations of Software Science and Computation Structures: 20th …, 2017
632017
Verifying asynchronous interactions via communicating session automata
J Lange, N Yoshida
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
602019
Meeting deadlines together
L Bocchi, N Yoshida, J Lange
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015
592015
An empirical study of messaging passing concurrency in Go projects
N Dilley, J Lange
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
352019
Featherweight go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
282020
Automated verification of go programs via bounded model checking
N Dilley, J Lange
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
262021
Characteristic formulae for session types
J Lange, N Yoshida
International Conference on Tools and Algorithms for the Construction and …, 2016
242016
Bounded verification of message-passing concurrency in go using promela and spin
N Dilley, J Lange
arXiv preprint arXiv:2004.01323, 2020
232020
A sound algorithm for asynchronous session subtyping and its implementation
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
Logical Methods in Computer Science 17, 2021
192021
Three Algorithms and a Methodology for Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Scientific Annals of Computer Science 22, 2012
192012
Checking data-race freedom of GPU kernels, compositionally
T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli
International Conference on Computer Aided Verification, 403-426, 2021
142021
Fair refinement for asynchronous session types
M Bravetti, J Lange, G Zavattaro
International Conference on Foundations of Software Science and Computation …, 2021
142021
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
Amending Contracts for Choreographies
L Bocchi, J Lange, E Tuosto
Arxiv preprint arXiv:1108.0470, 2011
142011
A sound algorithm for asynchronous session subtyping
M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro
Leibniz International Proceedings in Informatics 140, 2019
132019
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
122015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20