@prefix rdf: . @prefix rdfs: . @prefix schema: . @prefix skos: . @prefix xml: . @prefix xsd: . schema:author ; schema:name "Generalizing Lindstrom's tree marking algorithm to acyclic and cyclic lists" . schema:author ; schema:name "A computational interpretation of truth logic" . schema:author ; schema:name "Co-operation in distributed systems using symmetric multi-process handshaking" . schema:author ; schema:name "A fair and efficient implementation of CSP with output guards" . schema:author ; schema:name "Multi-process handshaking on broadcasting networks" . schema:author ; schema:name "Formal methods in program construction : final report on a research project sponsored by the Academy of Finland 1982-1985" . schema:author ; schema:name "Distributed co-operation with action systems" . schema:author ; schema:name "Refining atomicy in parallel algorithms" . schema:author ; schema:name "Decentralization of process nets with centralized control" . schema:author ; schema:name "Stepwise refinement of parallel algorithms" . schema:author ; schema:name "An exercise in deriving parallel algorithms : Gaussian elimination" . schema:author ; schema:name "Data refinement in the refinement calculus" . schema:contributor ; schema:name "Efficient implementation of multi-process handshaking on broadcasting networks" . schema:contributor ; schema:name "An implementation of multiprocess handshaking on transputer networks" . schema:author ; schema:name "Duality in specification languages : a lattice-theoretical approach" . schema:author ; schema:name "Stepwise refinement of action systems" . schema:contributor ; schema:name "A programming environment for a transputer-based multiprocessor system" . schema:author ; schema:name "Refinement concepts formalized in higher order logic" . schema:author ; schema:name "Combining angels, demons and miracles in program specifications" . schema:contributor ; schema:name "The Hathi project : a research project on parallel programming technology : 1986-1988 (final report)" . schema:contributor ; schema:name "Multiprocessor applications in the Hathi project" . schema:author ; schema:name "Deriving an occam implementation of action systems" . schema:contributor ; schema:name "Hathi-2 : users guide, version 1.0", "The Hathi-2 : multiprocessor system" . schema:contributor ; schema:name "Refinement calculus : Part 1, Sequential nondeterministic programs", "Refinement calculus : Part 2, Parallel and reactive programs" . schema:author ; schema:name "Command lattices, variable environments and data refinement" . schema:contributor ; schema:name "Åbo akademi, Department of Computer Science : Annual report 1989,1990" . schema:contributor ; schema:name "Construction of large-size interconnection : networks with high performance" . schema:contributor ; schema:name "Millipede - a programming environment providing visual support for parallel programming" . schema:author ; schema:name "Statement inversion and strongest postcondition" . schema:author ; schema:name "Centipede : a program refinement environment" . schema:author ; schema:name "Interpreting nondeterminism in the refinement calculus" . schema:author ; schema:name "Adding type-bound actions to action-oberon" . schema:author ; schema:name "Contracts, games and refinement" . schema:author ; schema:name "Doing high school mathematics carefully" . schema:author ; schema:name "Programs on product spaces" . schema:author ; schema:name "Modeling component environments and interactive programs using iterative choice" . schema:author ; schema:name "Products in the refinement calculus" . schema:author ; schema:name "Encoding, decoding and data refinement" . schema:author ; schema:name "Structured derivations : a method for doing high-school mathematics carefully" . schema:author ; schema:name "Formalising UML use cases in the refinement calculus" . schema:author ; schema:name "Class refinement as Semantics of correct object substitutability" . schema:author ; schema:name "Formal semantics of inheritance and object substitutability" . schema:author ; schema:name "Contracts as mathematical entities in programming logic" . schema:author ; schema:name "Enforcing behavior with contracts" . schema:author ; schema:name "Compositional action system refinement" . schema:author ; schema:name "Field tests of the structured derivations method" . schema:author ; schema:name "Software construction by stepwise feature introduction" . schema:author ; schema:name "Reasoning about recursive procedures with parameters" . schema:author ; schema:name "Symbolic simulation of hybrid systems" . schema:author ; schema:name "Reasoning about pointers in refinement calculus" . schema:author ; schema:name "Evaluating the XP customer model and design by contract" . schema:author ; schema:name "A python specification of the Tkinter Text-widget" . schema:author ; schema:name "Software development and experimentation in an academic environment : the Gaudi experience" . schema:author ; schema:name "Invariant based programming revisited" . schema:author ; schema:name "Tool support for invariant based programming" . schema:author ; schema:name "Incremental software construction with refinement diagrams" . schema:author ; schema:name "Experience on using stepwise feature introduction in software construction" . schema:author ; schema:name "Crest, Centre for Reliable Software Technology : progress report 2002-2003", "Crest, Centre for Reliable Software Technology : progress report 2004-2005" . schema:author ; schema:name "Testing and verifying invariant based programs in the SOCOS environment" . schema:author ; schema:name "Program construction by situation analysis" . schema:author ; schema:name "Semantics of unbounded nondeterminism" . schema:author ; schema:name "Proving total correctness of nondeterministic programs in infinitary logic" . schema:author ; schema:name "Derivation of efficient marking algorithms for acyclic lists" . schema:contributor ; schema:name "5-year report 1984-1989" . schema:contributor ; schema:name "Analysis of three-dimensional nuclear data on a transputer-based multiprocessor system" . schema:author ; schema:name "Atomicity refinement in a refinement calculus framework" . schema:author ; schema:name "Action system with synchronous communication" . schema:author ; schema:name "Superposition refinement of reactive systems" . schema:author ; schema:name "Specification of a microprocessor" . schema:contributor ; schema:name "Proceedings of the 5th Nordic Workshop on Program Correctness" . schema:author ; schema:name "Exploring summation and product operators in the calculus refinement" . schema:author ; schema:name "Trace refinement of action systems" . schema:author ; schema:name "From action systems to modular systems" . schema:author ; schema:name "Fairness in action systems" . schema:author ; schema:name "Class refinement as Semantics of correct subclassing" . schema:author ; schema:name "Verification and refinement of action contracts" . schema:author ; schema:name "Centre for Reliable Software Technology : a Centre of Excellence for Formal Methods in Programming : progress report 2003" . schema:author ; schema:name "13V : a program proof management system" . schema:contributor ; schema:name "An experiment on extreme programming and stepwise feature introduction" . schema:author ; schema:name "On the correctness of refinement steps in program development" . schema:author ; schema:name "Tutkimuksessa käytettävien tietokoneohjelmien laadusta : havaintoja Helsingin yliopiston laitosten ylläpitämästä ohjelmistokannasta" . schema:author ; schema:name "Constructing verifiable programs : a design method and a case study" . schema:author ; schema:name "Tietorakenteisiin perustuva ohjelmien modularisointi ja suojattujen tietorakenteiden käyttö FORTRAN-ohjelmissa" . schema:contributor ; schema:name "Proceedings of COMPMOD 2008 : Workshop on Computational Models for Cell Processes, May 27, 2008, Turku, Finland" . schema:about ; schema:name "Till åhörande av den offentliga föreläsning professorn i informationsbehandling filosofie doktorn Ralph-Johan Reinholdt Back håller fredagen den 16 november 1984 kl 18 i anledning av att han tillträtt sitt ämbete inbjudes vetenskapens gynnare, idkare och vänner vördsamt av matematisk-naturvetenskapliga fakultetens vid Åbo akademi dekanus Carl Ehlers" . schema:author ; schema:name "A calculus of refinement for program derivations" . schema:author ; schema:name "Procedural abstraction in the refinement calculus" . schema:contributor ; schema:name "Annual report 1999" . schema:contributor ; schema:name "Proceedings of the Winter School on Theoretical Computer Science : January 3-January 6, 1984, Lammi, Finland" . a schema:Person ; schema:name "Back, Ralph-Johan" .