000			02936nam a22004215i 4500
001			84573
003			ES-MaUEC
005			20230207040430.0
007			cr nn 008mamaa
008			160302s2016 gw | s |||| 0|eng d
020			_a9783319153988
040			_aES-MaUEC
050		4	_aQA76.9.M35 _bF357 2016
082	0	4	_a004.0151
100	1		_aFajstrup, Lisbeth _0Local _996848
245	1	0	_aDirected Algebraic Topology and Concurrency _cby Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
250			_a1st ed.
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XI, 167 páginas) _b1 ilustraciones
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
520	3		_aThis monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than zjusty the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, asignarmaterias , EBSPRINGER
650	0	7	_aOrdenadores _0 _2embne _9138111
650		7	_aLógica matemática _0comprobar BNE19900968744 _2embne _9139136
700	1		_aGoubault, Eric _0Local _996849
700	1		_aHaucourt, Emmanuel _0Local _996850
700	1		_aMimram, Samuel. _996851 _0Local
700	1		_aRaussen, Martin. _996852 _0Local
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-15398-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319153988
907			_a.b12938518 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0
945			_aQA76.9.M35 F357 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11583083 _z06-04-17
999			_c84573 _d84573 _x1