✓

@book{Milner:CCS:1980,
    title = {A calculus of communicating systems},
    author = {Robin Milner},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {0387102353,9780387102351},
    year = {1980},
    series = {Lecture Notes in Computer Science 92},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=ab6fa2563915f078f05c844405b30d57},
    date-added = {2024-1-18 19:47:54 +0100}
}

@book{Milner:CCS:1980, title = {A calculus of communicating systems}, author = {Robin Milner}, publisher = {Springer-Verlag Berlin Heidelberg}, isbn = {0387102353,9780387102351}, year = {1980}, series = {Lecture Notes in Computer Science 92}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=ab6fa2563915f078f05c844405b30d57}, date-added = {2024-1-18 19:47:54 +0100} }