Revisiting Abstraction Functions For Reasoning About Concurrency (Englisch)
- Neue Suche nach: Wing, Jeannette M.
- Neue Suche nach: Wing, Jeannette M.
In:
5th Refinement Workshop
;
298-300
;
1992
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Revisiting Abstraction Functions For Reasoning About Concurrency
-
Beteiligte:Wing, Jeannette M. ( Autor:in )
-
Erschienen in:5th Refinement Workshop ; 298-300Workshops in Computing ; 298-300
-
Verlag:
- Neue Suche nach: Springer London
-
Erscheinungsort:London
-
Erscheinungsdatum:01.01.1992
-
Format / Umfang:3 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Opening AddressMr O’Ferrall, Patrick et al. | 1992
- 3
-
Concurrent Processes as ObjectsMilner, Robin et al. | 1992
- 4
-
Formalising Dijkstra’s Development Strategy within Stark’s FormalismCau, Antonio / Kuiper, Ruurd / Roever, Willem-Paul et al. | 1992
- 43
-
A Recursion Removal TheoremWard, Martin et al. | 1992
- 70
-
Demonstrating the Compliance of Ada Programs with Z SpecificationsSennett, C. T. et al. | 1992
- 88
-
Methods and Tools for the Verification of Critical PropertiesJones, Roger Bishop et al. | 1992
- 119
-
Refinement and ConfidentialityO’Halloran, Colin et al. | 1992
- 140
-
Software Reification using the SETS CalculusOliveira, José N. et al. | 1992
- 172
-
Classification of Refinements in VDMElvang-Gøransson, Morten et al. | 1992
- 181
-
Constructive Refinement of First Order SpecificationsGravell, Andrew et al. | 1992
- 211
-
A Model of the Refinement ProcessNaftalin, Maurice et al. | 1992
- 230
-
A Window Inference Tool for RefinementGrundy, Jim et al. | 1992
- 255
-
Using Metavariables in Natural Deduction ProofsClement, T. et al. | 1992
- 272
-
A Tactic Driven Refinement ToolGroves, Lindsay / Nickson, Raymond / Utting, Mark et al. | 1992
- 298
-
Revisiting Abstraction Functions For Reasoning About ConcurrencyWing, Jeannette M. et al. | 1992
- 301
-
A case study in formally developing state-based parallel programs—the Dutch National TorusXu, Qiwen / He, Jifeng et al. | 1992
- 320
-
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel LanguageStølen, Ketil et al. | 1992
- 342
-
A Note on Compositional RefinementZwiers, J. / Coenen, J. / Roever, W.-P. et al. | 1992
- 367
-
Implementing Promoted Operations in ZWoodcock, J. C. P. et al. | 1992