Process Communication Based on Input Specifications
1981; Association for Computing Machinery; Volume: 3; Issue: 3 Linguagem: Inglês
10.1145/357139.357141
ISSN1558-4593
AutoresJan van den Bos, Rinus Plasmeijer, Jan Stroet,
Tópico(s)Formal Methods in Verification
Resumoarticle Free Access Share on Process Communication Based on Input Specifications Authors: Jan van den Bos Nijmegen University, Informatica/Computer Graphics, Nijmegen, The Netherlands Nijmegen University, Informatica/Computer Graphics, Nijmegen, The NetherlandsView Profile , R. Plasmeijer Nijmegen University, Informatica/Computer Graphics, Nijmegen, The Netherlands Nijmegen University, Informatica/Computer Graphics, Nijmegen, The NetherlandsView Profile , Jan W. M. Stroet Nijmegen University, Informatica/Computer Graphics, Nijmegen, The Netherlands Nijmegen University, Informatica/Computer Graphics, Nijmegen, The NetherlandsView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 3Issue 3July 1981 pp 224–250https://doi.org/10.1145/357139.357141Published:01 July 1981Publication History 13citation305DownloadsMetricsTotal Citations13Total Downloads305Last 12 Months16Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Referência(s)