io-port.net

io-port 05216824 Martins, M.A.

Behavioral institutions and refinements in generalized hidden logics. (English)

J. UCS 12, No. 8, 1020-1049, electronic only (2006).

Classification: F.3.1 F.3.2 F.4.1

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216821 Machado, J.Pereira; Menezes, P.Blauth

Defining atomic composition in uml behavioral diagrams. (English)

J. UCS 12, No. 7, 958-979, electronic only (2006).

Classification: D.1.5 D.2.0 F.1.1 F.3.2

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216820 Machado, R.; Moreira, á.Freitas; De Matos Galante, R.; Moro, M.Moura

Type-safe versioned object query language. (English)

J. UCS 12, No. 7, 938-957, electronic only (2006).

Classification: F.3.2 H.2.3

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05482310 Mehlan, Torsten; Rehm, Wolfgang

VIA2SISCI ‒ A new library that provides the VIA semantics forsci connected clusters. (English)

Brinkschulte, Uwe et al., ARCS 2004 - organic and pervasive computing, workshops Proceedings, March 26, 2004, Augsburg, germany. Bonner Köllen Verlag (ISBN 3-88579-370-9). GI-Edition - Lecture Notes in Informatics (LNI), P-41, 358-367 (2004).

Classification: D.1.0 F.3.2

4

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05216754 Seceleanu, C.Cerschi; Seceleanu, T.

Synchronization can improve reactive systems control and modularity. (English)

J. UCS 10, No. 10, 1429-1468, electronic only (2004).

Classification: D.1.3 F.3.1 F.3.2

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216746 Power, J.F.; Sinclair, D.

A formal model of forth control words in the Pi-calculus. (English)

J. UCS 10, No. 9, 1272-1293, electronic only (2004).

Classification: D.3.1 D.3.3 F.3.2

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216723 Barbosa, M.A.; Barbosa, L.Soares

A relational model for component interconnection. (English)

J. UCS 10, No. 7, 808-823, electronic only (2004).

Classification: D.3.1 F.3.2

7

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216722 Chalub, F.; Braga, C.

A modular rewriting semantics for cml. (English)

J. UCS 10, No. 7, 789-807, electronic only (2004).

Classification: F.3.1 F.3.2

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216652 Kong, C.; Alexander, P.; Menon, C.

Defining a formal coalgebraic semantics for the rosetta specification language. (English)

J. UCS 9, No. 11, 1322-1349, electronic only (2003).

Classification: F.1.1 F.3.2 F.4.3

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216630 Carvilhe, C.; Musicante, M.A.

Object-oriented action semantics specifications. (English)

J. UCS 9, No. 8, 910-934, electronic only (2003).

Classification: D.3.1 D.3.2 F.3.2

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216629 Barbosa, L.Soares

Towards a calculus of state-based software components. (English)

J. UCS 9, No. 8, 891-909, electronic only (2003).

Classification: D.3.1 F.3.2

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003155 Di Gianantonio, Pietro; Miculan, Marino

A unifying approach to recursive and co-recursive definitions. (English)

Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 148-161 (2003).

Classification: F.3.1 F.3.2 I.2.3

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02001428 Cao, ZiNing; Shi, ChunYi

Probabilistic belief logic and its probabilistic Aumann semantics. (English)

Journal of Computer Science and Technology 18, No.5, 571-579 (2003).

Classification: F.3.2

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01993577 Ober, Ileana

An ASM semantics of UML derived from the metamodel and incorporating actions. (English)

Börger, Egon (ed.) et al., Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2589, 356-371 (2003).

Classification: F.1.2 F.3.2 F.1.1

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01959266 Goubault-Larrecq, Jean; Goubault, Éric

On the geometry of intuitionistic S4 proofs. (English)

Homology Homotopy Appl. 5, No.2, 137-209, electronic only (2003).

Classification: F.3.2 D.1.1

15

PDF XML AMS-TeX TEXT BIBTeX EMIS

io-port 01957321 Cattani, Gian Luca; Winskel, Glynn

Presheaf models for CCS-like languages. (English)

Theor. Comput. Sci. 300, No.1-3, 47-89 (2003).

Classification: F.3.2

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01956527 Sassone, Vladimiro; Sobociński, Paweł

Deriving bisimulation congruences: 2-categories vs precategories. (English)

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 409-424 (2003).

Classification: F.1.2 F.3.2

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01956524 Moggi, Eugenio; Fagorzi, Sonia

A monadic multi-stage metalanguage. (English)

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 358-374 (2003).

Classification: F.3.1 F.3.2

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01956521 Laird, James

A game semantics of linearly used continuations. (English)

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 313-327 (2003).

Classification: D.1.1 F.3.2

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01956515 Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio

Manipulating trees with hidden labels. (English)

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 216-232 (2003).

Classification: F.3.2 E.5

20

PDF XML AMS-TeX TEXT BIBTeX URL