Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.ipl.2005.02.010 | Inf. Process. Lett. |
Keywords | Field | DocType |
finite state service,equational specification,upper bound,client server,communication model,data structures | Server-side,Specification language,Data structure,Information processing,Programming language,Upper and lower bounds,Computer science,Models of communication,Finite state,Rendezvous | Journal |
Volume | Issue | ISSN |
94 | 6 | 0020-0190 |
Citations | PageRank | References |
24 | 0.89 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1445 | 140.42 |
I. Bethke | 2 | 38 | 3.08 |