A Complete Inference System for a Class of Regular Behaviours

Robin Milner

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	439-466
Number of pages	28
Journal	Journal of Computer and System Sciences
Volume	28
Issue number	3
DOIs	https://doi.org/10.1016/0022-0000(84)90023-0
Publication status	Published - 1984

Access to Document

@article{d9f20085a35d48d5bd8e8bfafc0b4c40,

title = "A Complete Inference System for a Class of Regular Behaviours",

author = "Robin Milner",

year = "1984",

doi = "10.1016/0022-0000(84)90023-0",

language = "English",

volume = "28",

pages = "439--466",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press",

number = "3",

}