ACM Computing Surveys (CSUR)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Computation: finite and infinite machines
Computation: finite and infinite machines
Hi-index | 0.00 |
This paper describes my experiences writing and publishing a journal article with Brian Randell. It focuses more on personal than technical aspects.