المؤلفون: Zarrad, Mehdi^Aff14, Gumm, H. Peter^Aff14

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Josef, Kittler, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Hasuo, Ichiro, editor^Aff13

المصدر: Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. 9608:33-52

المؤلفون: Gumm, H. Peter^Aff16, Zarrad, Mehdi^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Bonsangue, Marcello M., editor^Aff15

المصدر: Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. 8446:118-134

المؤلفون: Zarrad, Mehdi

مصطلحات موضوعية: Congruence, Pullbacks, Informatik, Coalgebra, Data processing, Computer science, Kongruenz, Pullback, Coalgebra, Bisimulation, Bisimulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::618df0400d1fef08f88605a7135eb235