000 02305nam a2200409Ki 4500
001 ocn840416975
003 OCoLC
005 20240726105330.0
008 130422s1996 enka ob 000 0 eng d
040 _aNT
_beng
_erda
_cNT
020 _a9781848161023
_q((electronic)l(electronic)ctronic)l((electronic)l(electronic)ctronic)ctronic bk.
050 0 4 _aQA76
_b.C667 1996
049 _aNTA
245 1 0 _aCoordination programming
_bmechanisms, models, and semantics /
_ceditors J.-M. Andreoli, C. Hankin, D. Le Métayer.
260 _aLondon :
_bImperial College Press ;
_c1996.
260 _aRiver Edge, NJ :
_bDistributed by World Scientific,
_c(c)1996.
300 _a1 online resource (viii, 387 pages) :
_billustrations.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _adata file
_2rda
504 _a1
505 0 0 _tGamma and the Chemical Reaction Model: Ten Years After /
_rJean-Pierre Banatre and Daniel Le Metayer --
_tCoordination in LO /
_rJean-Marc Andreoli --
_tTruth and Action Osmosis (The TAO Computation Model) /
_rAntonio Porto and Vasco T. Vasconcelos --
_tType Inference and Subtyping for Higher-Order Generative Communication /
_rLaurent Dami --
_tTemporal Semantics for Gamma /
_rMark Reynolds --
_tA Program Logic for Gamma /
_rSimon J. Gay and Chris L. Hankin --
_tSchedules for Multiset Transformer Programs /
_rMichel Chaudron and Edwin de Jong --
_tComposed Reduction Systems /
_rDavid Sands --
_tAn Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs /
_rPaola Ciancarini, Roberto Gorrieri and Gianluigi Zavattaro
530 _a2
_ub
650 0 _aComputer programming.
650 0 _aProgramming languages (Electronic computers)
_xSemantics.
655 1 _aElectronic Books.
700 1 _aAndreoli, J.-M.
700 1 _aHankin, Chris.
700 1 _aLe Métayer, D.
700 1 _q(Jean-Marc)
700 1 _q(Daniel)
856 4 0 _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519144&site=eds-live&custid=s3260518
_zClick to access digital title | log in using your CIU ID number and my.ciu.edu password
942 _cOB
_D
_eEB
_hQA.
_mc1996
_QOL
_R
_x
_8NFIC
_2LOC
994 _a02
_bNT
999 _c96869
_d96869
902 _a1
_bCynthia Snell
_c1
_dCynthia Snell