Orthogonal extensions in structural operational semanticsMOHAMMAD REZA MOUSAVI; RENIERS, Michel A.Lecture notes in computer science. 2005, pp 1214-1225, issn 0302-9743, isbn 3-540-27580-0, 12 p.Conference Paper

Toy(FD): Sketch of operational semanticsFERNANDEZ, Antonio J; HORTALA-GONZALEZ, Teresa; SAENZ-PEREZ, Fernando et al.Lecture notes in computer science. 2003, pp 827-831, issn 0302-9743, isbn 3-540-20202-1, 5 p.Conference Paper

The expressive power of parallelismPARROW, J.FGCS. Future generations computer systems. 1990, Vol 6, Num 3, pp 271-285, issn 0167-739X, 15 p.Article

Contractions in comparing concurrency semanticsKOK, J. N; RUTTEN, J. M. M.Theoretical computer science. 1990, Vol 76, Num 2-3, pp 179-222, issn 0304-3975, 44 p.Article

Proving properties of dynamic process networksDAM, M.Information and computation (Print). 1998, Vol 140, Num 2, pp 95-114, issn 0890-5401Article

A non-SOS operational semantics for a process algebraFRACZAK, W; ZAREMBA, M. B.Information processing letters. 1998, Vol 68, Num 1, pp 47-54, issn 0020-0190Article

Priority Rewrite systems for OSOS process languagesULIDOWSKI, Irek.Lecture notes in computer science. 2003, pp 87-102, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

Proving correctness and completeness of normal programs: A declarative approachDRABENT, Włodzimierz; MIŁKOWSKA, Mirosława.Lecture notes in computer science. 2001, pp 284-299, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Semantics of normal logic programs with embedded implicationsOREJAS, Fernando; PASARELLA, Edelmira; PINO, Elvira et al.Lecture notes in computer science. 2001, pp 255-268, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Proving the correctness of optimising destructive and non-destructive reads over tuple spacesDE NICOLA, Rocco; PUGLIESE, Rosario; ROWSTRON, Antony et al.Lecture notes in computer science. 2000, pp 66-80, issn 0302-9743, isbn 3-540-41020-1Conference Paper

Weak semantics based on lighted button pressing experiments : An alternative characterization of the readiness semanticsINGOLFSDOTTIR, A.Lecture notes in computer science. 1997, pp 226-243, issn 0302-9743, isbn 3-540-63172-0Conference Paper

Distributed processes and location failuresRIELY, J; HENNESSY, M.Lecture notes in computer science. 1997, pp 471-481, issn 0302-9743, isbn 3-540-63165-8Conference Paper

High level expressions with their SOS semanticsKLAUDEL, H; RIEMANN, R.-C.Lecture notes in computer science. 1997, pp 288-301, issn 0302-9743, isbn 3-540-63141-0Conference Paper

On modular properties of higher order extensional lambda calculiDI COSMO, R; GHANI, N.Lecture notes in computer science. 1997, pp 237-247, issn 0302-9743, isbn 3-540-63165-8Conference Paper

An extended Theory of primitive objects : First order systemLIQUORI, L.Lecture notes in computer science. 1997, pp 146-169, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Dependency-based action refinementRENSINK, A; WEHRHEIM, H.Lecture notes in computer science. 1997, pp 468-477, issn 0302-9743, isbn 3-540-63437-1Conference Paper

Probabilistic concurrent constraint programmingGUPTA, V; JAGADEESAN, R; SARASWAT, V et al.Lecture notes in computer science. 1997, pp 243-257, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Process modeling with different qualities of knowledgeMAY, W.Lecture notes in computer science. 1997, pp 436-450, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Verification-oriented language C-light and its structural operational semanticsNEPOMNIASCHY, Valery A; ANUREEV, Igor S; PROMSKY, Alexey V et al.Lecture notes in computer science. 2003, pp 103-111, issn 0302-9743, isbn 3-540-20813-5, 9 p.Conference Paper

Towards a simpler method of operational semantics for language definitionDERK, M. D.ACM SIGPLAN notices. 2005, Vol 40, Num 5, pp 39-44, issn 1523-2867, 6 p.Article

Java is type safe : ProbablyDROSSOPOULOU, S; EISENBACH, S.Lecture notes in computer science. 1997, pp 389-418, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Supercompilation by EvaluationBOLINGBROKE, Maximilian; PEYTON JONES, Simon.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 135-146, issn 1523-2867, 12 p.Conference Paper

Compositionality of Hennessy-Milner logic through structural operational semanticsFOKKINK, Wan; VAN GLABBEEK, Rob; DE WIND, Paulien et al.Lecture notes in computer science. 2003, pp 412-422, issn 0302-9743, isbn 3-540-40543-7, 11 p.Conference Paper

A proof theoretical approach to communicationFU, Y.Lecture notes in computer science. 1997, pp 325-335, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Active patternsERWIG, M.Lecture notes in computer science. 1997, pp 21-40, issn 0302-9743, isbn 3-540-63237-9Conference Paper