Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
U. Krautz
Raghav Subbaraman
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Arnold M. Schwartz
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.
Paper Info
Open Visualization
Title
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.
Year
DOI
Venue
2012
10.1007/978-3-642-32347-8_13
ITP
DocType
Citations
PageRank
Conference
1
0.36
References
Authors
12
2
Authors (2 rows)
Cited by (1 rows)
References (12 rows)
Name
Order
Citations
PageRank
Marino Miculan
1
502
43.24
Marco Paviotti
2
2
1.05
1