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 |