Polish Academy of Sciences
Institute of Computer Science
Gdansk Branch: Mathematical
Methods of Programming
Papers, Reports, Programs
1999
Some entries may be upgraded or newly printed versions
of reports listed for 1998, 1997, 1996 or 1995.
Listings of
older reports and/or some more information may be found
starting from the authors' home pages:
Marek,
Andrzej,
Wieslaw.
Stefan.
Look also for the next year listing,
provided the next year already came.
|
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Wieslaw Pawlowski.
Generalized
Congruences--Epimorphisms in CAT,
Theory and Applications of Categories,
Vol. 5, No. 11, pp. 266-280, 1999.
|
|
John Hatcliff,
James C. Corbett,
Matthew B. Dwyer,
Stefan Sokolowski,
Hongjun Zheng.
A Formal
Study of Slicing for Multi-threaded Programs with JVM Concurrency
Primitives.
Proceedings of the 6th Static
Analysis Symposium (SAS'99), Venice, Italy, September 1999.
LNCS,
vol. 1694, ©Springer-Verlag, 1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Rafal Somla.
Equalizing morphisms of Petri nets;
Extended Abstract.
CSP'99, Warsaw, 1999.
Marek A. Bednarczyk, Andrzej M. Borzyszkowski.
Concurrent
Realizations of Reactive Systems.
In M. Hofmann,
D. Pavlovic, P. Rosolini eds., Category Theory in Computer
Science, 8th Conf., Edinburgh, September 1999.
Electronic Notes in Theoretical Computer Science, vol. 29,
pp.: 1-19, 1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski.
General
Morphisms of Petri Nets; Extended Abstract.
In J. Wiedermann, P van Emde Boas, M. Nielsen eds.,
Automata, Languages and Programming,
26th Intn'l Coll., Prague, Czech Republic, July 1999.
LNCS,
vol. 1644, pp. 190-199, ©Springer-Verlag, 1999.
Slides:
2 up or
4 up.
|
|
ICS PAS
and other technical reports:
John Hatcliff,
James C. Corbett,
Matthew B. Dwyer,
Stefan Sokolowski,
Hongjun Zheng.
Slicing
Multi-threaded Java Programs: A Case Study.
Kansas State University, Computing and Information Sciences,
Report 99-6,
1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Rafal Somla.
Equalizing
Morphisms of Petri Nets.
Extended Abstract, in Proc. CSP'99, Warsaw, 1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski.
Concurrent
Realizations of Reactive Systems.
ICS PAS Report 881, July 1999.
Also presented at
Category Theory in Computer Science, Edinburgh, 1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski.
General
Morphisms of Petri Nets.
ICS PAS Report 874, February 1999.
Extended abstract in Proc. ICALP'99 as Springer's LNCS, vol. 1644.
Slides:
2 up or
4 up.
|
|
Stefan Sokolowski
Investigation
of concurrent processes by means of
homotopy functors.
Submitted to MSCS
39 pages, August 1999.
|
|
Andrzej M. Borzyszkowski,
ipi.cls,
A LaTeX2e class to typeset Technical Reports of IPIPAN.
|
Comments to webmaster@ipipan.gda.pl.
Last modified: 6 December 1999
|
