Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-30446-1_3 | SEFM |
Field | DocType | Citations |
Asynchronous communication,Systems engineering,Concurrency,Scheduling (computing),Computer science,Program logic,Thread (computing),Formal specification,Asynchronous method invocation,restrict,Distributed computing | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eduard Kamburjan | 1 | 0 | 0.34 |
Crystal Chang Din | 2 | 82 | 7.87 |
Reiner Hähnle | 3 | 1272 | 106.50 |
Einar Broch Johnsen | 4 | 1071 | 69.56 |