Mixed choice in session types by Peters, K, Yoshida, N

Separation and encodability in mixed choice multiparty sessions by Peters, K, Yoshida, N

On the expressiveness of mixed choice sessions by Peters, K, Yoshida, N

Crystal structure of 3,8-di-tert-butyl-4-methoxy-1-methyl-9,10- diphenylmethylidenedioxy)dibenzo[b,d]pyran-6-one, C6H[O2C(C6H5)2](C4H9)COO(C6H)(CH3)(OCH3)(C4H9) by Peters K., Peters E.-M., Pabst T., Bringmann G.

Get full text

Crystal structure of 2-methyl-5-(4-methylphenyl)-7-phenyl-3-pyrid-3-ylaminoimidazo-[1,5-b]pyridazine, (C6H5)(C7H7)(CH3)(C6H7N2)C6HN3 by Peters K., Peters E.-M., Irrgang T., Hetzheim A.

Get full text

Crystal structure of 3-(4-bromophenyl)-4,6-dimethyl-1-pyrid-3-ylmethylaminoimidazo-[1,5-b]pyridazine, (C6H4Br)(C6H7N2)C6HN3(CH3)2 by Peters K., Peters E.-M., Irrgang T., Hetzheim A.

Get full text

Crystal structure of 3,8-di-tert-butyl-4,9,10-trimethoxyl- methyl-dibenzo[b,d]pyran-6-thione, C6H(OCH3)2[C(CH3)3]CSO(C6H)(CH3)(OCH3)[C(CH3)3] by Peters K., Peters E.-M., Pabst T., Bringmann G.

Get full text

Crystal structure of 2-methyl-4-phenyl-5-(4-methoxyphenyl)-7-pyrid-3-ylmethylaminoimidazo[ 1,5-6]pyridazine, C6HN3(CH3)(C6H5)(C6H4OCH3)(NHCH2C5H4N) by Peters K., Peters E.-M., Irrgang T., Hetzheim A.

Get full text

Crystal structure of (P)-1-(2-hydroxyphenyI)-2-naphthoicacid(1S,2R,5S)-(+)-menthylester,C10H6[C6H4(OH)][COOC6H9(CH3)(C3H7)] by Peters K., Peters E.-M., Härtung T., Bringmann G.

Get full text

Crystal structure of dysprosium pentaphosphide, DyP5 and of holmium pentaphosphide, HoP5 by Schnering H. G. von, Wittmann M., Peters K.

Get full text

Crystal structure of (3aR*,6aR*,9aR*,9bR*)-spiro[(1’,3’-dioxolane)-2’,6-(decahydro-8,8-dimethyl- 9-oxoazuleno[4,5-c]furan-1(3H)-one)], (CH3)2C14H16O5 by Peters K., Peters E.-M., Panitzsch T., Tochtermann W.

Get full text

Crystal structure of 3,4-diphenyl-6-methyl-1-propargylaminoímidazo[1,5-b]pyridazine, (C6H5)2C7H4N3(C3H4N) by Peters K., Peters E.-M., Irrgang T., Hetzheim A.

Get full text

Crystal structure of 6,7-dihydro-5,6,7-metheno-5H- cyclopenta[d] -pyridazin-1,4-dicarboxylie acid dimethyl ester, (C4H4)[C4N2(CO2CH3)2] by Peters K., Peters E.-M., Cohrs C., Christì

Get full text

Crystal structure of (P)-4,4’-di-tert-butyl-2,2’,3,3’- tetramethoxy-6,6’-dimethylbiphenyl, (C6H(OCH3)2(CH3)[C(CH3)3]}2 by Peters K., Peters E.-M., Pabst T., Bringmann G.

Get full text

Crystal structure of (3S,4R,1'R)-1-benzyl-3-benzyloxy-4-(1'-benzyloxy-2'- hydroxyethyI)-azetidine-2-one, C26H27NO4 by Peters K., Peters E.-M., Franz T., Jäger V.

Get full text

Crystal structure of 1-acetylamino-4-(4-bromophenyl)-2-(4-ethoxycarbonylpiperazino) imidazole, C3HN2(C6H4Br)[C4H8N2(COOC2H5)](NHCOCH3) by Peters K., Peters E.-M., Hetzheim A., Irrgang T.

Get full text

Crystal structure of 3-methylamino-2,2-diphenyl-2H-azirine, (HNCH3)C2N(C6H5)2 by Peters K., Peters E.-M., Hergenröther T., Quast H.

Get full text

Crystal structure of praseodymium pentaphosphide, PrP5 and of samarium pentaphosphide, SmP5 by Schnering H. G. von, Wittmann M., Peters K.

Get full text

Crystal structure of (3aR*,6aR*,9aR*,9bS*)-spiro[(1',3'-dioxolane)-2' ,6- (decahydro-9a-methoxycarbonyl-8,8-dimethyl-9-oxoazuleno[4,5-c]furan-1( 3H)-one], C2H4O2[C12H11O3](CH3)2COO... by Peters K., Peters E.-M., Panitzsch T., Tochtermann W.

Get full text

Crystal structure of dimethyl(3aR*,4S*,8aR*)-decahydro-8-oxo-3,5-(2-oxapropandiylidene)- azulene-3a,4-dícarboxylate, C16H18O6 by Peters K., Peters E.-M., Panitzsch T., Tochtermann W.

Get full text