Show simple item record

dc.contributor.authorHolton, David R.W.*
dc.date.accessioned2008-11-03T11:50:00Z
dc.date.available2008-11-03T11:50:00Z
dc.date.issued2008
dc.identifier.citationHolton DRW (2008) Implementing π-calculus style actions. Bradford, Department of Computing, University of Bradford. Research Report.en
dc.identifier.urihttp://hdl.handle.net/10454/859
dc.descriptionYesen
dc.description.abstractThis technical report describes one technique for implementing π-calculus style actions in a programming language. It first attempts to clarify the nature of actions, then gives requirements a primitive in a programming language must satisfy if it is to be used as the basis for the implementation of actions. Finally an example is given of how actions may be implemented in Ada.en
dc.language.isoenen
dc.rights© 2008 University of Bradford. This work is licensed under a Creative Commons Attribution-Non-Commercial-Share Alike License (http://creativecommons.org/licenses/by-nc-nd/2.0/uk).en
dc.subjectπ-calculusen
dc.subject; Programming languagesen
dc.titleImplementing π-calculus style actionsen
dc.status.refereedYesen
dc.typeReporten
refterms.dateFOA2018-07-18T13:19:03Z


Item file(s)

Thumbnail
Name:
implementing-pi.pdf
Size:
115.3Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record